Vangalur S. Alagar, Greetha Ramanathan. Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. In Charles Rattray, editor, Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]. Workshops in Computing, pages 196-235, Springer, 1988.
@inproceedings{AlagarR88, title = {Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems}, author = {Vangalur S. Alagar and Greetha Ramanathan}, year = {1988}, tags = {meta-model, analysis, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/AlagarR88}, cites = {0}, citedby = {0}, pages = {196-235}, booktitle = {Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]}, editor = {Charles Rattray}, series = {Workshops in Computing}, publisher = {Springer}, isbn = {3-540-19581-5}, }