Generating Optimal Linear Temporal Logic Monitors by Coinduction (2004)

Cached

Download Links

by Koushik Sen , Grigore Rosu , Gul Agha
Venue:Proceedings of 8th Asian Computing Science Conference (ASIAN’03), volume 2896 of Lecture Notes in Computer Science
Citations:4 - 2 self