2 Publications

Mark all

[2]
2014 | Conference Paper | IST-REx-ID: 2052
Parameterized model checking of rendezvous systems
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 109–124.
View | DOI
 
[1]
2014 | Conference Paper | IST-REx-ID: 475   OA
First cycle games
B. Aminof, S. Rubin, in:, Open Publishing Association, 2014, pp. 83–90.
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed

2 Publications

Mark all

[2]
2014 | Conference Paper | IST-REx-ID: 2052
Parameterized model checking of rendezvous systems
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 109–124.
View | DOI
 
[1]
2014 | Conference Paper | IST-REx-ID: 475   OA
First cycle games
B. Aminof, S. Rubin, in:, Open Publishing Association, 2014, pp. 83–90.
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed