IKTPLUSS-IKT og digital innovasjon
Petri Nets 2020 Conference Support
The aim of the conference is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in the areas of:
* General topics of interest related to concurrency
- Model checking ...