Beyond the Classical Modal Transition Systems
2015 ◽
Vol 14
(4)
◽
pp. 1-30
◽
Ferenc Bujtor
◽
Walter Vogler
Paulo T. Guerra
◽
Aline Andrade
◽
Renata Wassermann
Maurice H. ter Beek
◽
Ferruccio Damiani
◽
Stefania Gnesi
◽
Franco Mazzanti
◽
Luca Paolini
Ivo Krka
◽
Nicolás D’Ippolito
◽
Nenad Medvidović
◽
Sebastián Uchitel
2012 ◽
Vol 81
(4)
◽
pp. 408-421
◽
Line Juhl
◽
Kim G. Larsen
◽
Jiřı´ Srba
2014 ◽
Vol 25
(1-2)
◽
pp. 251-270
◽
Philippe Darondeau
◽
Hervé Marchand
◽
Laurie Ricker
2008 ◽
Vol 77
(1-2)
◽
pp. 20-39
◽
Sebastian S. Bauer
◽
Uli Fahrenberg
◽
Line Juhl
◽
Kim G. Larsen
◽
Axel Legay
◽
...