Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard. Distributed Monitoring of Concurrent and Asynchronous Systems*. Discrete Event Dynamic Systems, 15(1):33-84, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.