Verification of careflow management systems with timed BDI-CTL logic
Keith Miller and Wendy MacCaull
| Year of publication: |
2010
|
|---|---|
| Authors: | Miller, Keith ; MacCaull, Wendy |
| Published in: |
Business Process Management Workshops : BPM 2009 international workshops, Ulm, Germany, September 7, 2009 ; revised papers. - Berlin : Springer, ISBN 3-642-12185-3. - 2010, p. 623-634
|
| Extent: | graph. Darst. |
|---|---|
| Type of publication: | Article |
| Type of publication (narrower categories): | Aufsatz im Buch ; Book section |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10003954612