Michael Leuschel, Daniel Plagge. Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. In Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels, editors, ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007. Volume RNTI-SM-1 of Revue des Nouvelles Technologies de l Information, pages 73-84, Cépaduès-Éditions, 2007.
@inproceedings{LeuschelP07, title = {Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more}, author = {Michael Leuschel and Daniel Plagge}, year = {2007}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/LeuschelP07}, cites = {0}, citedby = {0}, pages = {73-84}, booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007}, editor = {Yamine Aït Ameur and Frédéric Boniol and Virginie Wiels}, volume = {RNTI-SM-1}, series = {Revue des Nouvelles Technologies de l Information}, publisher = {Cépaduès-Éditions}, isbn = {978-2-85428-814-8}, }