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:

Bibliographische Detailangaben

Zeitschriftentitel:	Electronic Proceedings in Theoretical Computer Science
Personen und Körperschaften:	Sun, Jun
In:	Electronic Proceedings in Theoretical Computer Science, 156, 2014, S. 2-2
Medientyp:	E-Article
Sprache:	Englisch
veröffentlicht:	Open Publishing Association
Schlagwörter:	General Earth and Planetary Sciences General Engineering General Environmental Science