Concurrent Games on VASS with Inhibition

Lecture Notes in Computer Science - CONCUR 2012 – Concurrency Theory ◽

10.1007/978-3-642-32940-1_5 ◽

2012 ◽

pp. 39-52 ◽

Cited By ~ 3

Author(s):

Béatrice Bérard ◽

Serge Haddad ◽

Mathieu Sassolas ◽

Nathalie Sznajder

Download Full-text