RUS
ENG
Full version
PEOPLE
Villapol María Elena
Publications in Math-Net.Ru
Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification
Proceedings of ISP RAS
,
30
:4 (2018),
107–128
©
Steklov Math. Inst. of RAS
, 2024