guest ::
Coarse abstractions make Zeno behaviours difficult to detect
;
In
Logical methods in computer science : LMCS 9(1), Seiten/Artikel-Nr.:06
2013
Online
DOI: 10.18154/RWTH-CONV-074381
DOI: 10.2168/LMCS-9(1:6)2013
URL: http://publications.rwth-aachen.de/record/212197/files/212197.pdf
URL: http://publications.rwth-aachen.de/record/212197/files/212197.pdf?subformat=pdfa
Einrichtungen
- Fachgruppe Informatik (120000)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
OpenAccess: 
PDF 
PDF (PDFA)
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-84874740842
WOS Core Collection: WOS:000317894100003
Interne Identnummern
RWTH-CONV-074381
Datensatz-ID: 212197
Beteiligte Länder
France, Germany
Related:
Preprint
Coarse abstractions make Zeno behaviours difficult to detect
[10.48550/ARXIV.1106.1850]
Fulltext by arXiv.org
BibTeX |
EndNote:
XML,
Text |
RIS
; 
|
The record appears in these collections: |