Computing Publications

Publications Home » Modelling for mere Mortals

Modelling for mere Mortals

Jeff Kramer, Jeff Magee

Conference or Workshop Paper
Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), Amsterdam
1999
BibTEX file for the publication
 

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