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)
2003
Volume 28
ACM
ISSN 0163-5948
PDF of full publication (276 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.