Reduced reachability analysis of finite and infinite state systems

Bibliographische Detailangaben

1. Verfasser:	Finkel, A. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1989
Schriftenreihe:	Rapports de recherche / PARIS-SUD UNIV LRI 464
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!