Sciweavers

JAPLL
2007

Specifying and verifying interaction protocols in a temporal action logic

14 years 8 months ago
Specifying and verifying interaction protocols in a temporal action logic
Laura Giordano, Alberto Martelli, Camilla Schwind
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JAPLL
Authors Laura Giordano, Alberto Martelli, Camilla Schwind
Comments (0)