F W · F. Wang · Yeu-Farn Wang
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. ... Notes in Computer Science , Band 3299) | 978-3-540-23610-8 | 2008 | |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, ... Notes in Computer Science, Band 3731) | 978-3-540-29189-3 | 2010 | |
| Formal Techniques for Networked and Distributed Systems - Forte 2005 | 978-3-540-81639-3 | 2008 | |
| Theoretical Aspects of Computing - ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings | 978-3-319-46749-8 | 2016 | Augusto Sampaio |