Jump to Navigation

Modeling and verification of the MCS layer with Spin

TitleModeling and verification of the MCS layer with Spin
Publication TypeConference Paper
Year of Publication1997
AuthorsMerino, P., and J. María Troya
Conference NameJean-Charles Grégoire; Gerard J. Holzmann and Doron A. Peled (Eds.). The Spin verification system: the second workshop on the Spin verification system proceedings of the DIMACS workshop, August 5, 1996
Date Publishedjul
PublisherAmerican Mathematical Society
Conference LocationUSA
ISBN Number0-8218-0680-7


Main menu 2

Biblio | by Dr. Radut