Visual Temporal Logic as a Rapid Prototyping Tool (2000)

by Martin Fränzle, Karsten Lüth
Venue:Computer Languages