Peter A. C. Verkoulen

Publication Activity (10 Years)

Years Active: 1991-1999
Publications (10 Years): 0

Universiteit Eindhoven (PHD)

Education History

Universiteit Eindhoven

PHD

Publications

Wil M. P. van der Aalst, Twan Basten, H. M. W. Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve
Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS (1999)
Rolf A. de By, Susan J. Even, Peter A. C. Verkoulen
Functionally Specified Distributed Transactions in Co-operative Scenarios. RIDE-DOM (1995)
Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen
Specification and Simulation with ExSpect. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Geert-Jan Houben, Peter A. C. Verkoulen
Ein Objektmodell für das integrierte Modellieren statischer und dynamischer Aspekte von Informationssystemen. Grundlagen von Datenbanken (1992)
Kees M. van Hee, Peter A. C. Verkoulen
Data, Process and Behaviour Modelling in an Integrated Specification Framework. DMIS (1991)
Geert-Jan Houben, Peter A. C. Verkoulen
An Integrated Approach to Modelling Structural and Behavioural Aspects of Complex Objects. FMLDO (1991)