Zoekresultaten - Farn Wang
- Toon 1 - 2 resultaten van 2
-
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings / door Farn Wang
Gepubliceerd in 2005, c2005Plaatsingsnummer: Wordt geladen…Ver documento en línea
Locatie: Wordt geladen…
BoekRegistro independiente -
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings / door Farn Wang
Gepubliceerd in 2004, c2004Plaatsingsnummer: Wordt geladen…Ver documento en línea
Locatie: Wordt geladen…
BoekRegistro independiente