Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings

Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings
Details
- OL Work ID
- OL17513518W
Subjects
Operating systems (computers)System designElectronic data processingCongressesDistributed processingFormal methods (Computer science)