Generating BDD Models for Process Algebra Terms

Authors:
Ashvin Dsouza;Bard Bloom
Affiliations:
-;-
Venue:
Proceedings of the 7th International Conference on Computer Aided Verification
Year:
1995

Citing 0
Cited 3

Using a Protean Language to Enhance Expressiveness in Specification

IEEE Transactions on Software Engineering
Deriving Symbolic Representations from Stochastic Process Algebras

PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Symbolic Model Checking of Logics with Actions

Model Checking and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract