BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
Collaborated with:
B.F.v.Dongen W.M.P.v.d.Aalst
Talks about:
reduct (1) verif (1) petri (1) rule (1) use (1) net (1) epc (1)

Person: H. M. W. Verbeek

DBLP DBLP: Verbeek:H=_M=_W=

Contributed to:

CAiSE 20052005

Wrote 1 papers:

CAiSE-2005-DongenAV #petri net #reduction #using #verification
Verification of EPCs: Using Reduction Rules and Petri Nets (BFvD, WMPvdA, HMWV), pp. 372–386.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.