Jump to Navigation

Modelling and Verification of the MCS Layer with SPIN

TitleModelling and Verification of the MCS Layer with SPIN
Publication TypeBook Chapter
Year of Publication1997
AuthorsMerino, P., and J. María Troya
Book TitleThe SPIN Verification System,
Pagination101–110
PublisherAmerican Mathematical Society
ISBN Number0-8218-0680-7


Main menu 2

Biblio | by Dr. Radut