Generalizing finiteness conditions of labelled transition systems:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Breugel, Franck van (VerfasserIn)
Format: Buch
Sprache:Nichtbestimmte Sprache
Veröffentlicht: Amsterdam Centrum voor Wiskunde en Informatica 1993
Umfang:25 S. graph. Darst.