Search the dblp DataBase

Publications of Author

1. Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel
   Conformance Testing of a Multimedia System Using PHACT. [Citation Graph (0, 0)][DBLP]
   IWTCS, 1998, pp:193-210 [Conf]
   
2. Jan A. Bergstra, Alban Ponse, Jos van Wamel
   Process Algebra with Backtracking. [Citation Graph (0, 0)][DBLP]
   REX School/Symposium, 1993, pp:46-91 [Conf]
   
3. Sebastiaan van Vlijmen, Jos van Wamel
   A Semantic Approach to Protocold. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:21, n:, pp:- [Journal]
   
4. Jan Friso Groote, Bas Luttik, Jos van Wamel
   Editorial. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1998, v:10, n:5-6, pp:435- [Journal]
   
5. Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel
   Completeness of Timed mCRL. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:50, n:3-4, pp:361-402 [Journal]
   
6. Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel
   Automatic generation of MPEG test streams from high-level grammars. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2002, v:44, n:12, pp:671-682 [Journal]
   
7. Jan Friso Groote, Jos van Wamel
   Analysis of three hybrid systems in timed µCRL. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2001, v:39, n:2-3, pp:215-247 [Journal]
   
8. Jan Friso Groote, Jos van Wamel
   The parallel composition of uniform processes with data. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:266, n:1-2, pp:631-652 [Journal]
   
9. Jos van Wamel
   Process Algebra with Language Matching. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:177, n:2, pp:425-458 [Journal]