Modeling and verification of real-time systems based on equations
Kazuhiro Ogata, Kokichi FutatsugiVolume:
66
Year:
2007
Language:
english
Pages:
19
DOI:
10.1016/j.scico.2006.10.011
File:
PDF, 358 KB
english, 2007