Search alternatives:
modul » module, modal
modus » modes
Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Petri Nets -- Privacy Preserving Modules for Ontologies -- Symbolic Bounded Conformance Checking...”
Cover Image
Read Now

2
Published 2018
Springer International Publishing
Table of Contents: “... in Computable Topology -- A Memory Model for Deductively Verifying Linux Kernel Modules -- Indexing...”
Cover Image
Read Now

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Faster Phylogenetic Inferencewith MXG -- Enriched ?–Calculus Pushdown Module Checking -- Approved Models...”
Cover Image
Read Now

4
Published 2015
Springer Berlin Heidelberg
Table of Contents: “...Descriptive Types for Linked Data Resources -- 25 Years of Model Checking -- The Laws of Concurrent...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... for Presburger Arithmetic -- Integration of a Software Model Checker into Isabelle -- Experimental Evaluation...”
Cover Image
Read Now

6
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Recurrent Reachability Analysis in Regular Model Checking -- Alternation Elimination...”
Cover Image
Read Now

7
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Is Supposed to Be Easy -- Reachability Modules for the Description Logic SRIQ -- An Event Structure Model...”