DMCA

Efficient verification of timed automata using BDDs (2001)

by Dirk Beyer , Andreas Noack
Venue:Proceedings of the 6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001
Citations:1 - 1 self