Computing Publications

Publications Home » Modelling undefined behaviour in ...

Modelling undefined behaviour in scenario synthesis

Sebastian Uchitel, Jeff Kramer, Jeff Magee

Conference or Workshop Paper
2nd international workshop on scenarios and state machines: models, algorithms, and tools (SCESM 03), Portland, May 2003
2003
BibTEX file for the publication
 

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