Author Search Results

1

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008 Held as Part of the Joint European Conferences on Theory and Pactice on Software, ETAPS 2008 Budapest, Hungary, March 29 - April 6, 2008, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008 Held as Part of the Joint European Conferences on Theory and Pactice o...

Megjelenés: 2008

“...International Conference on Tools and Alghorithms for the Construction and Analysis of Systems14...”

könyv