1
Published 2014
Springer Netherlands
Table of Contents: ...Simulating Synthesized Automata from Decentralized Specifications in LTL; R. Kwon, G. Kwon -- Peers...