Searching for authors named "Lars Michael Kristensen" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
State Space Methods for Coloured Petri Nets
- …State Space Methods for Coloured Petri Nets Lars Michael Kristensen Ph.D. Dissertation Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks
- …-hoc Networks Jeppe Brønsted ∗ and Lars Michael Kristensen † Department of Computer Science, University…
- Cited by 2 (0 self) – Add To MetaCart
-
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks
- … Michael Kristensen ⋆ and Kurt Jensen Department of Computer Science, University of Aarhus IT…
- Cited by 8 (3 self) – Add To MetaCart
-
Condensed State Spaces for Timed Petri Nets
- … Condensed State Spaces for Timed Petri Nets So/ren Christensen1, Lars Michael Kristensen1…
- Cited by 6 (5 self) – Add To MetaCart
-
A Compositional Sweep-Line State Space Exploration Method
- …A Compositional Sweep-Line State Space Exploration Method ? Lars Michael Kristensen 1…
- Cited by 2 (2 self) – Add To MetaCart
-
Path Finding with the Sweep-Line Method using External Storage
- …Path Finding with the Sweep-Line Method using External Storage Lars Michael Kristensen…
- Cited by 7 (2 self) – Add To MetaCart
-
Improved Question-Guided Stubborn Set Methods for State Properties
- …Improved Question-Guided Stubborn Set Methods for State Properties Lars Michael Kristensen 1…
- Cited by 3 (0 self) – Add To MetaCart
-
A Generalised Sweep-Line Method for Safety Properties
- …A Generalised Sweep-Line Method for Safety Properties Lars Michael Kristensen 1? and Thomas…
- Cited by 13 (11 self) – Add To MetaCart
-
Advanced State Space Tutorial
- … and Design/CPN June 8-12 1998 c flLars Michael Kristensen Department of Computer Science University of Aarhus…
- Add To MetaCart
-
Verification of a Revised WAP Wireless Transaction Protocol
- …Verication of a Revised WAP Wireless Transaction Protocol ? Steven Gordon 1 , Lars Michael…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
