Languages
Jump To : Overview | Titles | Subjects

Clarke, Edmund.

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Clarke, Edmund.; Virbitskaite, Irina.; Voronkov, Andrei. (Language materials, printed)
Verification of infinite-state systems with applications to security by: �Tiplea, Ferucio Lauren�tiu; NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security ((2005 March 17-22 :); Clarke, Edmund.; Minea, Marius. (Language materials, printed)
 
 
Change password
Login