dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

André Engels Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2002
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Engels, Sjouke Mauw, Michel A. Reniers: A hierarchy of communication models for Message Sequence Charts. Sci. Comput. Program. 44(3): 253-292 (2002)
2000
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Engels: Design Decisions on Data and Guards in MSC2000. SAM 2000: 33-46
1999
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Engels, Loe M. G. Feijs, Sjouke Mauw: MSC and data: dynamic variables. SDL Forum 1999: 105-
1997
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Engels, Sjouke Mauw, Michel A. Reniers: A Hierarchy of Communication Models for Message Sequence Charts. FORTE 1997: 75-90
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Engels, Loe M. G. Feijs, Sjouke Mauw: Test Generation for Intelligent Networks Using Model Checking. TACAS 1997: 384-398

Coauthor Index

1Loe M. G. Feijs [1] [3]
2Sjouke Mauw [1] [2] [3] [5]
3Michel A. Reniers [2] [5]

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page