Frédéric Lang
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods
IFM, 2005.
@inproceedings{IFM-2005-Lang,
author = "Frédéric Lang",
booktitle = "{Proceedings of the Fifth International Conference on Integrated Formal Methods}",
doi = "10.1007/11589976_6",
isbn = "3-540-30492-4",
pages = "70--88",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods}",
volume = 3771,
year = 2005,
}