I. B. Verbistskaite

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

1 EE Alexandre V. Bystrov, I. B. Verbistskaite: Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool. PaCT 1999: 194-199

1999
1	EE	Alexandre V. Bystrov, I. B. Verbistskaite: Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool. PaCT 1999: 194-199

Coauthor Index

1 Alexandre V. Bystrov [1]