Sciweavers

36
Voted
PCS
2008

Modeling, specification, and verification of automaton programs

14 years 9 months ago
Modeling, specification, and verification of automaton programs
E. V. Kuzmin, Valery A. Sokolov
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2008
Where PCS
Authors E. V. Kuzmin, Valery A. Sokolov
Comments (0)