Computing Publications

Publications Home » Complete abstractions through ext...

Complete abstractions through extensions of disjunctive modal transition systems

Harald Fecher, Michael Huth

Technical Report
March, 2006

31 pages, Technical Report No. 0604, Institut fuer Informatik und Praktische Mathematik der Christian-Albrechts-Universitaet zu Kiel

PDF of full publication (342 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

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