This book provides the most complete formal specification of the semantics of the Business Proces...
This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd Inte...
This book constitutes the refereed proceedings of the 22 International Conference on Database and...
This book provides the most complete formal specification of the semantics of the Business Proces...
This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractStat...
This book constitutes the refereed proceedings of the 9th International Conference on Model and D...
The papers in this volume aim at obtaining a common understanding of the challenging research que...
This book constitutes the thoroughly refereed post-workshop proceedings of the Third Internationa...
This book constitutes the thoroughly refereed short papers, workshops and Doctoral Consortium pap...
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on ...
This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd Inte...
The papers in this volume aim at obtaining a common understanding of the challenging research que...