Distributing Timed Model Checking — How the Search Order Matters
Gerd Behrmann
◽
Thomas Hune
◽
Frits Vaandrager
2004 ◽
Vol 7
(1)
◽
pp. 4-18
◽
Víctor Braberman
◽
Alfredo Olivero
◽
Fernando Schapachnik
Honghao Gao
◽
Huaikou Miao
◽
Shengbo Chen
◽
Jia Mei
Georgia Giannopoulou
◽
Kai Lampka
◽
Nikolay Stoimenov
◽
Lothar Thiele
Boutheina Bannour
◽
Arnault Lapitre
◽
Pascale Le Gall
2016 ◽
Vol 9
(7)
◽
pp. 335-348
Nawal Guermouche
◽
Claude Godart
2006 ◽
Vol 29
(2)
◽
pp. 197-214
◽
V. Braberman
◽
A. Olivero
◽
F. Schapachnik
Igor Buzhinsky
◽
Antti Pakonen
Rachid Hadjidj
◽
Hanifa Boucheneb
◽
Drifa Hadjidj