Sciweavers

PCS
2008

Modeling, specification, and verification of automaton programs

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