First Page | Document Content | |
---|---|---|
Date: 2012-06-05 19:53:56Protocols Promela Computing Information Communications protocol Data transmission | BloomUnit: Declarative Testing for Distributed Programs Peter Alvaro Andrew Hutchinson Neil ConwayAdd to Reading ListSource URL: db.cs.berkeley.eduDownload Document from Source WebsiteFile Size: 174,01 KBShare Document on Facebook |