Cited in
(15)- Graph drawing. 10th international symposium, GD 2002, Irvine, CA, USA, August 26--28, 2002. Revised papers
- Formalisations and applications of BPMN
- Supercharging plant configurations using Z3
- scientific article; zbMATH DE number 1974135 (Why is no real title available?)
- A relative timed semantics for BPMN
- EMiT
- Reveal
- ProM
- AsmL
- CrocoCosmos
- WilmaScope
- Rosette
- Applications and Theory of Petri Nets 2005
- Graph drawing. 9th international symposium, GD 2001, Vienna, Austria, September 23--26, 2001. Revised papers
- CVC4SY
This page was built for software: JViews
