Jos van Wamel Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2002
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel: Completeness of Timed mCRL. Fundam. Inform. 50(3-4): 361-402 (2002)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel: Automatic generation of MPEG test streams from high-level grammars. Information & Software Technology 44(12): 671-682 (2002)
2001
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Friso Groote, Jos van Wamel: Analysis of three hybrid systems in timed µCRL. Sci. Comput. Program. 39(2-3): 215-247 (2001)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Friso Groote, Jos van Wamel: The parallel composition of uniform processes with data. Theor. Comput. Sci. 266(1-2): 631-652 (2001)
1999
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastiaan van Vlijmen, Jos van Wamel: A Semantic Approach to Protocold. Electr. Notes Theor. Comput. Sci. 21: 1-32 (1999)
1998
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Friso Groote, Bas Luttik, Jos van Wamel: Editorial. Formal Asp. Comput. 10(5-6): 435 (1998)
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel: Conformance Testing of a Multimedia System Using PHACT. IWTCS 1998: 193-210
1997
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jos van Wamel: Process Algebra with Language Matching. Theor. Comput. Sci. 177(2): 425-458 (1997)
1993
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan A. Bergstra, Alban Ponse, Jos van Wamel: Process Algebra with Backtracking. REX School/Symposium 1993: 46-91

Coauthor Index

1Jan A. Bergstra
[c1]
2Loe M. G. Feijs
[j6] [c2]
3Jan Friso Groote
[j7] [j5] [j4] [j2]
4Bas Luttik (S. P. Luttik)
[j2]
5Frans A. C. Meijs
[j6] [c2]
6Jean R. Moonen
[j6] [c2]
7Alban Ponse
[c1]
8Michel A. Reniers
[j7]
9Sebastiaan van Vlijmen
[j3]
10Mark van der Zwaag
[j7]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 18 09:14:28 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page