Kristensen, Lars Michael
Kristensen, Lars M.
Kristensen, Lars M. (Lars Michael)
Kristensen, Lars M. 1971-
Lars Michael Kristensen
Kristensen, Lars Michael (1971- ).
VIAF ID: 306122884 ( Personal )
Permalink: http://viaf.org/viaf/306122884
Preferred Forms
-
- 100 1 _ ‡a Kristensen, Lars M.
- 100 1 _ ‡a Kristensen, Lars M. ‡d 1971-
- 100 1 _ ‡a Kristensen, Lars M. ‡q (Lars Michael)
-
-
- 100 1 _ ‡a Kristensen, Lars Michael
-
-
-
- 100 0 _ ‡a Lars Michael Kristensen
4xx's: Alternate Name Forms (4)
5xx's: Related Names (2)
- 510 2 _ ‡a Bergen University College ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Bergen ‡g Norwegen ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
Applications and theory of Petri Nets : 32nd international conference, Petri Nets 2011, Newcastle, UK, June 20-24, 2011 : proceedings | |
Coloured petri nets : modelling and validation of concurrent systems | |
Computer aided verification of Lamport's fast mutual exclusion algorithm | |
Design/CPN | |
Évaluation de performance d'architecture de contrôle-commande en réseau dans un contexte incertain d'avant-vente | |
Improved question-guided stubborn set methods for state properties | |
On the application of zone flooding in a traffic warning system | |
Performance assessment of Networked Control System (NCS) during uncertain pre-sales context. | |
Pragmatics annotated coloured petri nets for protocol software generation and vertification | |
State space methods for Coloured Petri Nets | |
Transactions on Petri Nets and Other Models of Concurrency XIII | |
Verification by state spaces with equivalence classes |