Engineering & TechnologyA formal model of asynchronous communication and its use in mechanically verifying a biphase mark prorocolJ Strother Moore![A formal model of asynchronous communication and its use in mechanically verifying a biphase mark prorocol]()
A formal model of asynchronous communication and its use in mechanically verifying a biphase mark prorocol
J Strother Moore
Al-Warraq Library does not host book files; it takes you to the copy at the original source. Public-domain status differs from country to country, so check the law where you live before downloading or republishing the book. Do you hold rights in this work? Request its removal
“A formal model of asynchronous communication and its use in mechanically verifying a biphase mark prorocol” by J Strother Moore: a public-domain book in…
Catalogue details
- Author
- J Strother Moore
- Category
- Engineering & Technology
- Language
- English
- Source
- HathiTrust