Mendler, Michael:
Can we specify finite-state systems in a fragment of propositional logic?
In: Straube, B. (Hrsg.) : Use of Process Algebras in Design
(3rd Euroform Workshop, Februar 1995).
Dresden : Fraunhofer Institut, 1995, S. 23 Seiten.
Institution: Professur für Grundlagen der Informatik
|
|