Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders. On Integrating the MÖBIUS and MODEST Modeling Tools. In 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings. pages 671, IEEE Computer Society, 2003. [doi]
@inproceedings{BohnenkampCDDHKKLS03,
title = {On Integrating the MÖBIUS and MODEST Modeling Tools},
author = {Henrik C. Bohnenkamp and Tod Courtney and David Daly and Salem Derisavi and Holger Hermanns and Joost-Pieter Katoen and Ric Klaren and Vinh Vi Lam and William H. Sanders},
year = {2003},
url = {http://csdl.computer.org/comp/proceedings/dsn/2003/1952/00/19520671.pdf},
tags = {modeling, C++},
researchr = {https://researchr.org/publication/BohnenkampCDDHKKLS03},
cites = {0},
citedby = {0},
pages = {671},
booktitle = {2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-1952-0},
}