Formal techniques for networked and distributed systems

Formal techniques for networked and distributed systems
Details
- OL Work ID
- OL16932228W
Subjects
Computer network protocolsElectronic data processingFormal methods (Computer science)CongressesDistributed processingElectronic data processing, distributed processing