Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Alfons Laarman

Improved Multi-Core Nested Depth-First Search

scientific article published in 2012

Multi-Core BDD Operations for Symbolic Reachability

scientific article published in August 2013

Multi-Core LTSmin: Marrying Modularity and Scalability

scientific article published in 2011

Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction

scientific article published in 2013

Multi-core Nested Depth-First Search

scientific article published in 2011

Multi-core Reachability for Timed Automata

scientific article published in 2012

Parallel Recursive State Compression for Free

scientific article published in 2011

SpinS: Extending LTSmin with Promela through SpinJa

scientific article published on 12 August 2013

Paulina is supported by:

About Paulina

Help