-
Selection by year
-
Selection by authors
-
Complete lists
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},
Month = {},
Year = {2004}
}
EndNote Reference [help]
Get EndNote Reference (.ref)