Compensable WorkFlow Nets
In: Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, Jg. 6447 (2010), S. 122-137
Online
E-Book
Zugriff:
| Titel: |
Compensable WorkFlow Nets
|
|---|---|
| Autor/in / Beteiligte Person: | Rabbi, Fazle ; Wang, Hao ; MacCaull, Wendy ; Hutchison, David, Series editor ; Kanade, Takeo, Series editor ; Kittler, Josef, Series editor ; Kleinberg, Jon M., Series editor ; Mattern, Friedemann, Series editor ; Mitchell, John C., Series editor ; Naor, Moni, Series editor ; Nierstrasz, Oscar, Series editor ; Pandu Rangan, C., Series editor ; Steffen, Bernhard, Series editor ; Sudan, Madhu, Series editor ; Terzopoulos, Demetri, Series editor ; Tygar, Doug, Series editor ; Vardi, Moshe Y., Series editor ; Weikum, Gerhard, Series editor ; Dong, Jin Song [Ed.] ; Zhu, Huibiao [Ed.] |
| Zeitschrift: | Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, Jg. 6447 (2010), S. 122-137 |
| Veröffentlichung: | 2010 |
| Medientyp: | E-Book |
| ISBN: | 978-3-642-16900-7 (print) ; 978-3-642-16901-4 (print) |
| DOI: | 10.1007/978-3-642-16901-4_10 |
| Sonstiges: |
|