1994
Report
Title

Simple Homomorphisms and Linear Temporal Logic

Author(s)
Nitsche, U.
Publisher
Fraunhofer SIT
Publishing Place
Darmstadt
Language
English