Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen. A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. IEEE Trans. Software Eng., 22(6):378-389, 1996. [doi]
@article{ArdisCJMPSO96,
title = {A Framework for Evaluating Specification Methods for Reactive Systems Experience Report},
author = {Mark A. Ardis and John A. Chaves and Lalita Jategaonkar Jagadeesan and Peter Mataga and Carlos Puchol and Mark G. Staskauskas and James Von Olnhausen},
year = {1996},
url = {http://www.computer.org/tse/ts1996/e0378abs.htm},
researchr = {https://researchr.org/publication/ArdisCJMPSO96},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {22},
number = {6},
pages = {378-389},
}