[BHK07]
H. Bohnenkamp, H. Hermanns, and J-P. Katoen.
Motor: The MoDeST Tool Environment.
In Proc. 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'07), volume 4424 of LNCS, pages 500-504, Springer.
2007.
[bib]
|
Notes:
The original publication is available at link.springer.com.
|
Links:
[Google]
[Google Scholar]
|