Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
authIdHal_s : tom-cornebize
Image document

Efficient and Generalized Decentralized Monitoring of Regular Languages

Yliès Falcone , Tom Cornebize , Jean-Claude Fernandez
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩
Conference papers hal-00972559v1