Travelled to:1 × France
2 × Italy
Collaborated with:M.H.t.Beek P.M.Kwantes P.V.Gorp A.Rensink R.Janicki M.Koutny L.Mikulski
Talks about:generalis (1) complianc (1) subclass (1) structur (1) composit (1) automata (1) satisfi (1) process (1) between (1) toward (1)
Person: Jetty Kleijn
DBLP: Kleijn:Jetty
Contributed to:
2015
2015
2003Wrote 3 papers:
- ICGT-2015-KwantesGKR #modelling #process #towards #verification
- Towards Compliance Verification Between Global and Local Process Models (PMK, PVG, JK, AR), pp. 221–236.
- LATA-2015-JanickiKKM #order #subclass
- Order Structures for Subclasses of Generalised Traces (RJ, JK, MK, LM), pp. 689–700.
- FME-2003-BeekK #automaton #composition
- Team Automata Satisfying Compositionality (MHtB, JK), pp. 381–400.