학술논문
Leveraging polyhedral reductions for solving Petri net reachability problems
Document Type
Article
Author
Source
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, February 2023, 25(1):95-114)
Subject
Language
English
ISSN
14332787
14332779
14332779