An incremental modular technique for checking LTL-X properties on Petri nets
- K. Klai
- , L. Petrucci
- , M.A. Reniers
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
5
Link opens in a new tab
Citations
(Scopus)
114
Downloads
(Pure)