A complete protocol verification using revitalized bisimulation
A complete protocol verification using revitalized bisimulation
Kim G. Larsen
Details
OL Work ID
OL9243880W
Find this book
Open Library