Tevfik Bultan
Action Language: a specification language for model checking reactive systems
ICSE, 2000.
@inproceedings{ICSE-2000-Bultan,
author = "Tevfik Bultan",
booktitle = "{Proceedings of the 22nd International Conference on Software Engineering}",
doi = "10.1145/337180.337219",
editor = "Carlo Ghezzi and Mehdi Jazayeri and Alexander L. Wolf",
isbn = "1-58113-206-9",
pages = "335--344",
publisher = "{ACM}",
title = "{Action Language: a specification language for model checking reactive systems}",
year = 2000,
}