SAT-based verification for timed component connectors (2009)

by S Kemper
Venue:Electronic Notes in Theoretical Computer Science (ENTCS