Refining interval temporal logic specifications
Antonio Cau
◽
Hussein Zedan
Laura Bozzelli
◽
Angelo Montanari
◽
Adriano Peron
Angelo Montanari
◽
Pietro Sala
Antonio Cau
◽
Stefan Kuhn
◽
James Hoey
Dario Della Monica
◽
Angelo Montanari
◽
Aniello Murano
◽
Pietro Sala
Matt Thompson
◽
Steve Battle
◽
Julian Padget
Paritosh K. Pandya
◽
Simoni S. Shah
Angelo Montanari
◽
Gabriele Puppis
◽
Pietro Sala
2010 ◽
Vol 5
(10)
◽
pp. 149-158
1994 ◽
Vol 4
(5)
◽
pp. 531-579
◽
JAMES F. ALLEN
◽
GEORGE FERGUSON