|
Search the dblp DataBase
André Engels:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- André Engels, Sjouke Mauw, Michel A. Reniers
A Hierarchy of Communication Models for Message Sequence Charts. [Citation Graph (0, 0)][DBLP] FORTE, 1997, pp:75-90 [Conf]
- André Engels
Design Decisions on Data and Guards in MSC2000. [Citation Graph (0, 0)][DBLP] SAM, 2000, pp:33-46 [Conf]
- André Engels, Loe M. G. Feijs, Sjouke Mauw
MSC and data: dynamic variables. [Citation Graph (0, 0)][DBLP] SDL Forum, 1999, pp:105-0 [Conf]
- André Engels, Loe M. G. Feijs, Sjouke Mauw
Test Generation for Intelligent Networks Using Model Checking. [Citation Graph (0, 0)][DBLP] TACAS, 1997, pp:384-398 [Conf]
- André Engels, Sjouke Mauw, Michel A. Reniers
A hierarchy of communication models for Message Sequence Charts. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2002, v:44, n:3, pp:253-292 [Journal]
Search in 0.001secs, Finished in 0.001secs
|