Automata games for multiple-model checking
Altaf Hussain, Michael Huth
- Electronic Journal Article
- Electronic Notes in Theoretical Computer Science
- Volume 155
- May, 2006
Proceedings of the 21th Annual Conference on Mathematical Foundations of Programming Semantics, Birmingham, United Kingdom, 18-21 May 2005
- PDF of full publication (221 kilobytes)
- (need help viewing PDF files?)
- BibTEX file for the publication
- Copyright notice
Attached PDF document is preliminary version only.
- Conditions for downloading publications from this site.