Computing Publications

Publications Home » Refinement sensitive formal seman...

Refinement sensitive formal semantics of state machines with persistent choice

Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schoenborn

Conference or Workshop Paper
AVoCS 2007
Electronic Notes in Theoretical Computer Science
PDF of full publication (329 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

The PDF is a preliminary version of the final version of this paper.

Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.