Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-12 of 12 results for author "Brinksma, Ed."
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], eds.
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 96-173 Offsite Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʼ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-649 Offsite Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.).
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1743 Offsite Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.).
- Text
- Berlin ; New York : Springer, 2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSE 02-1826 Offsite Protocol test systems : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems, organized by PTT Research, Leidschendam, The Netherlands, 15-17 October, 1991 / edited by Jan Kroon, Rudolf J. Heijink, Ed Brinksma.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text TK5105.5 .I34243 1991 Off-site Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS "95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], eds.
- Text
- Berlin ; New York : Springer-Verlag, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 T66 1995 Off-site Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʼ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.).
- Text
- Berlin ; New York : Springer, [1997], ©1997.
- 1997-1997
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 T33 1997 Off-site Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.).
- Text
- Berlin ; New York : Springer, 2001.
- 2001
- 1 Item
Available Online
http://link.springer-ny.com/link/service/series/0558/tocs/t2090.htmItem details Format Call Number Item Location Text QA76.9.F67 E34 2000 Off-site Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.).
- Text
- Berlin ; New York : Springer, 2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text QA76.76.V47 C38 2002g Off-site Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989 / edited by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text TK5105.5 .I3426 1989g Off-site Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS "95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], eds.
- Text
- Berlin ; New York : Springer-Verlag, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 T66 1995 Off-site Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88T33 1997 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
