Dino Distefano, Arend Rensink, Joost-Pieter Katoen. Model Checking Birth and Death. In Ricardo A. Baeza-Yates, Ugo Montanari, Nicola Santoro, editors, Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17:::th::: World Computer Congress - TC1 Stream / 2:::nd::: IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montr&eacut. Volume 223 of IFIP Conference Proceedings, pages 435-447, Kluwer, 2002.
@inproceedings{DistefanoRK02, title = {Model Checking Birth and Death}, author = {Dino Distefano and Arend Rensink and Joost-Pieter Katoen}, year = {2002}, tags = {model checking, meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/DistefanoRK02}, cites = {0}, citedby = {0}, pages = {435-447}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17:::th::: World Computer Congress - TC1 Stream / 2:::nd::: IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montr&eacut}, editor = {Ricardo A. Baeza-Yates and Ugo Montanari and Nicola Santoro}, volume = {223}, series = {IFIP Conference Proceedings}, publisher = {Kluwer}, isbn = {1-4020-7181-7}, }