Sciweavers

ICNP
1995
IEEE

Protocol synthesis using basic Lotos and global variables

14 years 3 months ago
Protocol synthesis using basic Lotos and global variables
Ahmed Khoumsi, Gregor von Bochmann
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where ICNP
Authors Ahmed Khoumsi, Gregor von Bochmann
Comments (0)