A compact Petri net representation for Ada tasking programs

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Dwyer, Matthew B. (VerfasserIn)
Weitere Verfasser:	Nies, Kari A. (VerfasserIn), Clarke, Lori A. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amherst, Mass. Univ. of Massachusetts, Dep. of Computer Science, Software Development Lab. 1994
Schriftenreihe:	CMPSCI technical report 94,16
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	16 S. graph. Darst.