Refinement and asynchronous composition of modal petri nets
Transactions on Petri Nets and Other Models of Concurrency V
Nash equilibria in concurrent priced games
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Optimal bounds for multiweighted and parametrised energy games
Theories of Programming and Formal Methods
Hi-index | 0.00 |