| Siehe auch (möglicherweise von anderen Autoren): |
| 2009 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... Notes in Computer Science, Band 2031) |
| 2008 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European ... Notes in Computer Science, Band 2619) |
| 2008 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... Notes in Computer Science, Band 2988) |
| 2008 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Notes in Computer Science, Band 3440) |
| 2008 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European ... Notes in Computer Science, Band 3920) |
| 2008 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, Tacas 2002, Held as Part of the Joint European ... Notes in Computer Science, Band 2280) |
| 2008 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... Notes in Computer Science, Band 1384) |
