Вы здесь

Главная

Rensink A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Posets for Configurations! 1992 Rensink A. Lecture Notes in Computer Science 16.10.1992
СТ On Syntactic and Semantic Action Refinement 1994 Goltz U., Gorrieri R., Rensink A. Lecture Notes in Computer Science 05.05.1994
СТ Weak Sequential Composition in Process Algebras 1994 Rensink A., Wehrheim H. Lecture Notes in Computer Science 26.08.1994
СТ A Complete Theory of Deterministic Event Structures 1995 Rensink A. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995
СТ Fair Testing 1995 Brinksma E., Rensink A., Vogler W. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
СТ Process Algebra with Action Dependencies 2001 Rensink A., Wehrheim H. Acta Informatica 11.01.2002
СТ Compositional Testing with IOCO 2004 Van Der Bijl M., Rensink A., Tretmans J. Lecture Notes in Computer Science 11.03.2004
СТ Model Checking Quantified Computation Tree Logic 2006 Rensink A. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Model Driven Architecture: Revised Selected Papers/European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, the Netherlands; and Linkoeping, Sweden, June 2004 2005 Lecture Notes in Computer Science
  1. Assmann U.
  2. Aksit M.
  3. Rensink A.
 18.10.2005
СБ Model Driven Architecture - Foundations and Applications: Proc./Second European Conference, ECMDA-FA 2006. Bilbao, Spain, July 2006 2006 Lecture Notes in Computer Science
  1. Rensink A.
  2. Warmer J.
 31.08.2006
СБ Model Driven Architecture Foundations and Applications: Proc./5th European Conference, ECMDA-FA 2009. Enschede, The Netherlands, June 2009 2009 Lecture Notes in Computer Science
  1. Paige R. F.
  2. Hartman A.
  3. Rensink A.
 24.07.2009
СБ Graph Transformations: Proc./5th International Conference, ICGT 2010, Enschede, The Netherland, September/October 2010 2010 Lecture Notes in Computer Science
  1. Ehrig H.
  2. Rensink A.
  3. Rozenberg G.
  4. Schurr A.
 23.11.2010
СБ Fundamental Approaches to Software Engineering: Proc./17th International Conference, FASE 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014 2014 Lecture Notes in Computer Science
  1. Gnesi S.
  2. Rensink A.
 22.04.2014