Eintrag weiter verarbeiten
Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata : Invited Presentation at the 2nd French Singaporean Workshop on Formal Methods...
Gespeichert in:
Zeitschriftentitel: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Personen und Körperschaften: | |
In: | Electronic Proceedings in Theoretical Computer Science, 156, 2014, S. 2-2 |
Medientyp: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Open Publishing Association
|
Schlagwörter: |