Computing Publications

Publications Home » Behaviour model elaboration using...

Behaviour model elaboration using partial labelled transition systems

Sebastian Uchitel, Jeff Kramer, Jeff Magee

Conference or Workshop Paper
European software engineering conference; (ESEC) & 11th SIGSOFT symposium on the foundations of software engineering (FSE-11)
Volume 28
ISSN 0163-5948
PDF of full publication (276 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.