Jump to : Keywords | Contact | BibTex reference | EndNote reference |

BenvenistePI-1636

A. Benveniste, S. Haar, C. Fabre, C. Jard. Distributed monitoring of concurrent and asynchronous systems - extended version (update of research report PI-1540). Research Report IRISA, No 1636, 2004.

Keywords

[ Partial orders ] [ Unfoldings ]

BibTex Reference

@TechReport{BenvenistePI-1636,
   Author = {Benveniste, A. and Haar, S. and Fabre, C. and Jard, C.},
   Title = {Distributed monitoring of concurrent and asynchronous systems - extended    version (update of research report PI-1540)},
   Number = {1636},
   Institution = {IRISA},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)