Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Liveness Checking as Safety Checking
2002 (English)In: Proc. 7th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS’02), 2002, Vol. 66Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2002. Vol. 66
Series
ENTCS
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-199167OAI: oai:DiVA.org:kth-199167DiVA, id: diva2:1060376
Conference
7th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS’02)
Note

QC 20160103

Available from: 2016-12-28 Created: 2016-12-28 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(622 kB)53 downloads
File information
File name FULLTEXT01.pdfFile size 622 kBChecksum SHA-512
714c4bf62f512ead111141a4cb48dc49e1275766f5f1ace1365cc8c6a343a2623c87c215563bc01d56f8c30445ce755f0a14a017f39761c870665fa80d209c8e
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Artho, Cyrille
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 53 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 37 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf