van de Jc Jaco Pol

Verifying replication on a distributed shared data space with time stamps

Jozef Hooman, van de Jc Jaco Pol, F. Karelse, 2001 .

Introductory paper Special section on formal methods for industrial critical systems

van de Jc Jaco Pol, Thjj Thomas Arts, 2005 .

Preface (Special issue on the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005 (Eindhoven, The Netherlands, November 29, 2005))

Jmt Judi Romijn, van de Jc Jaco Pol, G Graeme Smith, 2007 .

Requirements specification and analysis of command and control systems

Jjm Jozef Hooman, van de Jc Jaco Pol, de E Jong, 1999 .

Formal requirements specification for command and control systems

van de Jc Jaco Pol, de E Jong, Jjm Jozef Hooman, 1998 .