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.