|
СТ |
Causality-Based Testing in Time Petri Nets |
2019 |
Bozhenkova E., Virbitskaite I., Popova-Zeugmann L. |
|
|
|
LNCS |
28.01.2020 |
|
СТ |
Causality-Based Testing in Time Petri Nets |
2019 |
Bozhenkova E., Virbitskaite I., Popova-Zeugmann L. |
|
|
|
PSI'19 Preliminary Proc. |
14.08.2019 |
|
СТ |
Branching Processes of Petri Nets |
2016 |
Virbitskaite I., Borolyov V., Popova-Zeugmann L. |
Lecture Notes in Computer Science |
|
|
PSI 10 |
05.09.2016 |
|
СТ |
On Parametrical Sequences in Time Petri Nets |
1997 |
Popova-Zeugmann L. |
|
|
|
Proceedings of the CS&P 97 Workshop |
01.11.1997 |
|
СТ |
On Liveness and Boundedness in Time Petri Nets |
1995 |
Popova-Zeugmann L. |
|
|
|
Proc. of the CS&P 95 Workshop |
07.02.1996 |
