Home Advanced Search

Advanced Search - Page 1

Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Ralph-Johan Back (auth.), Susanna Donatelli, P. S. Thiagarajan (eds.)
Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Ralph-Johan Back (auth.), Andrew Butterfield (eds.)
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Ralph-Johan Back (auth.), Chris George, Huaikou Miao (eds.)
Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Dexter Kozen (auth.), P. S. Thiagarajan (eds.)
Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Dexter Kozen (auth.), P. S. Thiagarajan (eds.)
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
  • PDF
  • English
  • Year: 2005
  • Author: Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)
Transactions on Computational Systems Biology XI
  • PDF
  • English
  • Year: 2009
  • Author: Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)
Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Pravin Varaiya (auth.), Susanna Donatelli, Jetty Kleijn (eds.)
Foundations of Software Technology and Theoretical Computer Science: 15th Conference Bangalore, India, December 18–20, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Mike Paterson, Shlomit Tassa, Uri Zwick (auth.), P. S. Thiagarajan (eds.)
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.)
search