Introduction to the Special Issue on Multi-Terminal BinaryDecision Diagrams

Authors:
M. Fujita;P. C. McGeer
Affiliations:
Fujitsu Laboratories of America, 3350 Scott Blvd., Bldg. #34, Santa Clara, CA 95054;Cadence Berkeley Laboratories, 1919 Addison St., Suite 303, Berkeley, CA 94704
Venue:
Formal Methods in System Design
Year:
1997

Citing 0
Cited 3

Analysis of Markov reward models using zero-suppressed multi-terminal BDDs

valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs

Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract