| |
| 1999 | ||
|---|---|---|
| 2 | EE | J. William Atwood, Morteza Ghodrat, Dariusz Tasak: Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols. LCN 1999: 117- |
| 1995 | ||
| 1 | Marian Bubak, Wlodzimierz Funika, Jacek Moscinski, Dariusz Tasak: Pablo-Based Performance Monitoring Tool for PVM Applications. PARA 1995: 69-78 | |
| 1 | J. William Atwood | [2] |
| 2 | Marian Bubak | [1] |
| 3 | Wlodzimierz Funika | [1] |
| 4 | Morteza Ghodrat | [2] |
| 5 | Jacek Moscinski | [1] |