DMCA

Modelling and Verification using Linear Hybrid Automata -- a Case Study (1996)

by Olaf Müller , Thomas Stauner
Citations:9 - 2 self