Pokozy Ekaterina

Search

By title

By abstract

By keywords

By author

By series

Bu issue

By year

Ekaterina A. Pokozy

E-mail

vir@iis.nsk.su

List of Articles:

Pokozy E. Behaviour analysis of parametric time Petri nets // Computer Science. — 1999 . — # 11. — P. 59-75

Virbitskaite I. Pokozy E. Model checking of time Petri nets // Computer Science. — 1997 . — # 7. — P. 85-93