Annual Member
| Author | Queiroz, Ruy J. G. B. |
|---|---|
| Title | Logic for Concurrency and Synchronisation [electronic resource] / edited by Ruy J. G. B. Queiroz |
| Imprint | Dordrecht : Kluwer Academic Publishers, 2003 |
| Connect to | http://dx.doi.org/10.1007/0-306-48088-3 |
| Descript | - |
