Michael . Lukin

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.

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