DMCA

Synthesizing Monitors for Safety Properties (2002)

Cached

Download Links

by Klaus Havelund , Grigore Rosu
Venue:In Tools and Algorithms for Construction and Analysis of Systems (TACAS’02
Citations:156 - 17 self