Event Algebra for Transition Systems Composition - Application to Timed Automata.

Elie Fares Jean-Paul Bodeveix Mamoun Filali

Published in: TIME (2013)

Keyphrases

model checking

machine learning

theorem prover