Kozura Vitaly

Search

By title

By abstract

By keywords

By author

By series

Bu issue

By year

Vitaly E. Kozura

E-mail

kozura@iis.nsk.su

List of Articles:

Kozura V. LTL model checking of coloured Petri nets based on net unfoldings // Computer Science. — 2001 . — # 15. — P. 83-101