The following pages link to Lars Michael Kristensen (Q1768478):
Displayed 30 items.
- (Q418781) (redirect page) (← links)
- The sweep-line state space exploration method (Q418783) (← links)
- (Q862858) (redirect page) (← links)
- Question-guided stubborn set methods for state properties (Q862861) (← links)
- Implementing coloured Petri nets using a functional programming language (Q1768480) (← links)
- The practitioner's guide to coloured Petri nets. (Q1865844) (← links)
- MC/DC test cases generation based on BDDs (Q2154030) (← links)
- Automated test case generation for the paxos single-decree protocol using a coloured Petri net model (Q2423754) (← links)
- (Q2766568) (← links)
- (Q2766572) (← links)
- (Q2769607) (← links)
- Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method (Q2908211) (← links)
- (Q3045270) (← links)
- Search-Order Independent State Caching (Q3066131) (← links)
- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks (Q3510864) (← links)
- Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario (Q3510866) (← links)
- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future (Q3569860) (← links)
- The ComBack Method – Extending Hash Compaction with Backtracking (Q3612946) (← links)
- Coloured Petri Nets (Q3617245) (← links)
- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection (Q3651242) (← links)
- (Q4422088) (← links)
- (Q4484211) (← links)
- (Q4519781) (← links)
- (Q4535175) (← links)
- (Q4808851) (← links)
- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs (Q4924446) (← links)
- A Sweep-Line Method for Büchi Automata-based Model Checking (Q5415299) (← links)
- Automated Technology for Verification and Analysis (Q5491863) (← links)
- Lectures on Concurrency and Petri Nets (Q5712286) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712353) (← links)