Cite

HARVARD Citation

    Basile, F. et al. (2023). Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques. Automatica. p. . [Online]. 
  
Back to record