libDDD
From MaRDI portal
Software:16283
swMATH4096MaRDI QIDQ16283FDOQ16283
Author name not available (Why is that?)
Cited In (6)
- Nested-unit Petri nets
- Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
- Hierarchical Set Decision Diagrams and Regular Models
- Abstract Interpretation of Dynamics of Biological Regulatory Networks
- Hierarchical Set Decision Diagrams and Automatic Saturation
This page was built for software: libDDD
