Jonathan S. Ostroff. Deciding Properties of Timed Transition Models. IEEE Trans. Parallel Distrib. Syst., 1(2):170-183, 1990. [doi]
@article{Ostroff90, title = {Deciding Properties of Timed Transition Models}, author = {Jonathan S. Ostroff}, year = {1990}, url = {http://computer.org/tpds/td1990/l0170abs.htm}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Ostroff90}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Parallel Distrib. Syst.}, volume = {1}, number = {2}, pages = {170-183}, }