Jørn Lind-Nielsen
From MaRDI portal
Person:169902
Available identifiers
zbMath Open lind-nielsen.jornMaRDI QIDQ169902
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q4818799 | 2004-09-24 | Paper |
| Verification of hierarchical state/Event systems using reusability and compositionality | 2002-09-18 | Paper |
| Verification of large state/event systems using compositionality and dependency analysis | 2001-07-02 | Paper |
| Partial model checking of modal equations: a survey | 1999-01-01 | Paper |
Research outcomes over time
This page was built for person: Jørn Lind-Nielsen
