Verification of Embedded Reactive Fiffo Systems.

Frdric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grgoire Sutre

Browse the full LATIN paper archive.