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 PICO Portal 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 PICO Portal 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 PICO Portal 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 PICO Portal 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.