2004-08-01
Formal verification of distributed systems
Publication
Publication
Additional Metadata | |
---|---|
W.J. Fokkink (Wan) | |
Vrije Universiteit Amsterdam | |
Pang, J. (2004, August). Formal verification of distributed systems.
|
2004-08-01
Additional Metadata | |
---|---|
W.J. Fokkink (Wan) | |
Vrije Universiteit Amsterdam | |
Pang, J. (2004, August). Formal verification of distributed systems.
|