Natalia Sidorova, Martin Steffen. Verifying Large SDL-Specifications Using Model Checking. In Rick Reed, Jeanne Reed, editors, SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings. Volume 2078 of Lecture Notes in Computer Science, pages 403-420, Springer, 2001. [doi]
@inproceedings{SidorovaS01, title = {Verifying Large SDL-Specifications Using Model Checking}, author = {Natalia Sidorova and Martin Steffen}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2078/20780403.htm}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/SidorovaS01}, cites = {0}, citedby = {0}, pages = {403-420}, booktitle = {SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings}, editor = {Rick Reed and Jeanne Reed}, volume = {2078}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42281-1}, }