Detection of cycle in real-time system specification

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	SIGPLAN notices 1994-07, Vol.29 (7), p.43-50
1. Verfasser:	Kirner, Tereza G.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!