Sciweavers

SPIN
1999
Springer

Analyzing Mode Confusion via Model Checking

14 years 3 months ago
Analyzing Mode Confusion via Model Checking
Gerald Lüttgen, Victor Carreño
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1999
Where SPIN
Authors Gerald Lüttgen, Victor Carreño
Comments (0)