Symbolic, Symmetry, and Stubborn Set Searches
Authors:
Mikko Tiusanen
Affiliations:
-
Venue:
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Year:
1994
Citing
0
Cited
1
Petri nets for protocol engineering
Computer Communications
Quantified Score
Hi-index
0.00
Visualization
Abstract