Michel Diaz, Guy Juanole, Jean-Pierre Courtiat. Observer-A Concept for Formal On-Line Validation of Distributed Systems. IEEE Trans. Software Eng., 20(12):900-913, 1994. [doi]
@article{DiazJC94,
title = {Observer-A Concept for Formal On-Line Validation of Distributed Systems},
author = {Michel Diaz and Guy Juanole and Jean-Pierre Courtiat},
year = {1994},
url = {http://www.computer.org/tse/ts1994/e0900abs.htm},
researchr = {https://researchr.org/publication/DiazJC94},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {20},
number = {12},
pages = {900-913},
}