LOLA: Runtime Monitoring of Synchronous Systems.

Ben D'AngeloSriram SankaranarayananCésar SánchezWill RobinsonBernd FinkbeinerHenny B. SipmaSandeep MehrotraZohar Manna
Published in: TIME (2005)
Keyphrases