DMCA

Integer Parameter Synthesis for Timed Automata ⋆ LUNAM Université.

by A. Jovanović , D. Lime , O. H. Roux
Citations:16 - 5 self