Scholar IQ
Try ScholarIQ free
Upload Records Snowball Search Search OpenAlex
About the database
ScholarIQanswers from OpenAlex

On-line verification of current-state opacity by Petri nets and integer linear programming

PaperCitations, authors & open-access status

On-line verification of current-state opacity by Petri nets and integer linear programming is a paper indexed in ScholarIQ from OpenAlex. ScholarIQ records 80 citations, 2018 year and closed oa status.

80
Citations
2018
Year
closed
OA Status

Related on ScholarIQ

Agostino Marcello Mangini
Author
Petri Nets in System Modeling
Topic
Petri Nets in System Modeling
Topic
Distributed systems and fault tolerance
Topic
Formal Methods in Verification
Topic
470M+ articles · free account