@dblp

Enforcement of (Timed) Properties with Uncontrollable Events.

, , , , , and . ICTAC, volume 9399 of Lecture Notes in Computer Science, page 542-560. Springer, (2015)

Links and resources

URL:
BibTeX key:
conf/ictac/RenardFRPJM15
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication