On-line verification of current-state opacity by Petri nets and integer linear programming
On-line verification of current-state opacity by Petri nets and integer linear programming is a paper indexed in ScholarIQ from OpenAlex.
How many citations does On-line verification of current-state opacity by Petri nets and integer linear programming have?
On-line verification of current-state opacity by Petri nets and integer linear programming has 80 citations in the OpenAlex counts ScholarIQ stores.
When was On-line verification of current-state opacity by Petri nets and integer linear programming published?
On-line verification of current-state opacity by Petri nets and integer linear programming has 2018 year in the ScholarIQ index.
What is the open-access status of On-line verification of current-state opacity by Petri nets and integer linear programming?
On-line verification of current-state opacity by Petri nets and integer linear programming has closed oa status in the ScholarIQ index.
What is the DOI of On-line verification of current-state opacity by Petri nets and integer linear programming?
The DOI for On-line verification of current-state opacity by Petri nets and integer linear programming is on the source record.
What is the PMID of On-line verification of current-state opacity by Petri nets and integer linear programming?
The PMID for On-line verification of current-state opacity by Petri nets and integer linear programming is on the source record.
What is the OpenAlex record for On-line verification of current-state opacity by Petri nets and integer linear programming?
The OpenAlex for On-line verification of current-state opacity by Petri nets and integer linear programming is on the source record.