This volume contains the proceedings of the 19th annual International Conference on Application a...

This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was h...

The 11th volume of ToPNoC contains revised and extended versions of a selection of the best works...

Verification of Logs - Revealing Faulty Processes of a Medical Laboratory.- An Everlasting Secure...

In recent years the management of business processes has emerged as one of the major developments...

Business processes are among today's hottest topics in the science and practice of information sy...

Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow...

zahlen zahlenan an den den Universitäten Universitätenerreichten erreichten besorgniserregende be...

Integration of Software Specification Techniques for Applications in Engineering: Introduction an...

This book constitutes the refereed proceedings of the 34th International Conference on Applicatio...

Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche...

Bei der Entwicklung von Software- und Informationssystemen werden verschiedene Aspekte von Strukt...