DMCA

SPOT: an Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata (2004)

by Alexandre Duret-Lutz , Denis Poitrenaud
Venue:IN PROC. OF MASCOTS’04
Citations:51 - 13 self