-
1Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on...Texto bibliotecaCOLPOS
-
2Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on...Texto bibliotecaCOLPOS
-
3Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7... Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7...Texto bibliotecaCOLPOS
-
4Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7... Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7...Texto bibliotecaCOLPOS
-
5Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings /... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings /...by Margaria, Tiziana. editor., Steffen, Bernhard. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
6Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings /... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings /...by Margaria, Tiziana. editor., Steffen, Bernhard. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
7Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers / Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers /by Margaria, Tiziana. editor., Steffen, Bernhard. editor., Rückert, Roland. editor., Posegga, Joachim. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
8Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers / Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers /by Margaria, Tiziana. editor., Steffen, Bernhard. editor., Rückert, Roland. editor., Posegga, Joachim. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
9Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers /... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers /...by Brinksma, E. editor., Cleaveland, W. R. editor., Larsen, K. G. editor., Margaria, T. editor., Steffen, B. editor., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
10Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers /... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers /...by Brinksma, E. editor., Cleaveland, W. R. editor., Larsen, K. G. editor., Margaria, T. editor., Steffen, B. editor., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS