The Temporal Logic institution (1998)

by M V Cengarle
Venue:Ludwig-Maximilians-Universität München, Institut für Informatik