DMCA

Synthesising optimal timing delays for timed i/o automata (2014)

by Marco Diciolla , Chang Hwan , Peter Kim , Marta Kwiatkowska , Ru Mereacre
Venue:In EMSOFT’14. ACM
Citations:4 - 4 self