libDDD
From MaRDI portal
Software:16283
swMATH4096MaRDI QIDQ16283FDOQ16283
Author name not available (Why is that?)
Cited In (6)
- Nested-unit Petri nets
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
- Hierarchical Set Decision Diagrams and Regular Models
- Hierarchical Set Decision Diagrams and Automatic Saturation
- Building efficient model checkers using hierarchical set decision diagrams and automatic saturation
- Abstract interpretation of dynamics of biological regulatory networks
This page was built for software: libDDD
