Decision problems for Petri nets and vector addition systems

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hack, Michel (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge, Mass. Mass. Inst. of Technology, Project MAC 1975
Schriftenreihe:	MAC technical memorandum 59
Schlagworte:	Graph theory System analysis Vektoranalysis Unentscheidbarkeit Petri-Netz
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge