Lukin Michael

Work place: Saint Petersburg National Research University of Information Technologies, Mechanics and Optics, Saint Petersburg, Russia
Post: programmer
E-mail: lukinma@gmail.com
Shalyto A. A., Lukin M. VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SPIN VERIFIER
The article was published in issue 8, volume 08, 2008
Lukin M. VERIFICATION OF PARALLEL AUTOMATA-BASED PROGRAMS
The article was published in issue 1, volume 14, 2014
Copyright 2001-2019 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика