Publications »
XPAT: An interactive graphical tool for synthesis of concurrent software using petri nets

Document Number:	N1991-001
Document Type:	Conference paper
Author(s):	Y.E. Papelis T.L. Casavant
Publication / Venue Name:	ICPP91
Publication Date:	1991-08-01
Abstract:	None listed
Body:	Access denied. Log in for access.
Copyright:	None listed
Keywords:	None listed

Publications »XPAT: An interactive graphical tool for synthesis of concurrent software using petri nets