Current Research Information SysTem In Norway

 Norsk versjon

Research results/NVI
Research units
Log in
About Cristin
Back to search     Short format     Full format    
Export to

Showing results 1-1 of 1

1 Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker.
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. I: Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020 Xi’an, China, October 26–27, 2020 Proceedings. Springer 2020 ISBN 978-3-030-65954-7. p. 68-83
HVL Untitled