Items where authors include "Nordlie, Henrik"

[up] Up a level
Jump to: Article
Number of items: 1.

Article

Murray, Yvonne, Nordlie, Henrik, Anisi, David A. et al. (2 more authors) (2024) Model Checking and Verification of Synchronisation Properties of Cobot Welding. Electronic Proceedings in Theoretical Computer Science, EPTCS. pp. 91-108. ISSN 2075-2180

This list was generated on Wed Apr 2 18:21:47 2025 BST.