Home Advanced Search

Advanced Search - Page 1

CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.)
CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.)
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Flaviu Cristian (auth.), Bengt Jonsson, Joachim Parrow (eds.)
Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Jean-Marc Andreoli (auth.), Jean-Yves Girard (eds.)
The Blind Spot: Lectures on Logic
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Yves Girard
The Blind Spot: Lectures on Logic
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Yves Girard
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Bengt Jonsson, Wang Yi (auth.), Joost-Pieter Katoen (eds.)
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Bengt Jonsson, Wang Yi (auth.), Joost-Pieter Katoen (eds.)
CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Parosh Aziz Abdulla, Bengt Jonsson (auth.), Kim G. Larsen, Mogens Nielsen (eds.)
Model-Based Testing of Reactive Systems: Advanced Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)
search