Doug Goldson. Formal Modeling of Interactive Systems. In 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings. pages 207-215, IEEE Computer Society, 2000. [doi]
@inproceedings{Goldson00,
title = {Formal Modeling of Interactive Systems},
author = {Doug Goldson},
year = {2000},
doi = {10.1109/APAQ.2000.883794},
url = {http://doi.ieeecomputersociety.org/10.1109/APAQ.2000.883794},
tags = {meta-model, modeling, Meta-Environment},
researchr = {https://researchr.org/publication/Goldson00},
cites = {0},
citedby = {0},
pages = {207-215},
booktitle = {1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-0825-1},
}