Joël Ouaknine, George M. Reed. Model-Checking Temporal Behaviour in CSP. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA. pages 295-304, CSREA Press, 1999.
@inproceedings{QuaknineR99, title = {Model-Checking Temporal Behaviour in CSP}, author = {Joël Ouaknine and George M. Reed}, year = {1999}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/QuaknineR99}, cites = {0}, citedby = {0}, pages = {295-304}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA}, editor = {Hamid R. Arabnia}, publisher = {CSREA Press}, isbn = {1-892512-15-7}, }