Sciweavers

JAPLL
2007

Specifying and verifying interaction protocols in a temporal action logic

13 years 11 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)