Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 2 months ago
, ...). Recursive translations as well as model constructions could be considered, studying the compatibility and incompatibility of combinations of axioms, with a focus in particular on the combination of classical
Searches related to model checking
Enter an email to receive alerts for model-checking positions