close
1.

電子ブック

EB
Kurt Jensen, Susanna Donatelli, Takeo Kanade, Maciej Koutny
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Vicinity Respecting Homomorphisms for Abstracting System Requirements / Jörg Desel ; Agathe Merceron
Search-Order Independent State Caching / Sami Evangelista ; Lars Michael Kristensen
Bounded Parametric Model Checking for Elementary Net Systems / Michal Knapik ; Maciej Szreter ; Wojciech Penczek
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets / Agata Pólrola ; Andrzej Zbrzezny
Parametric Model Checking with VerICS / Artur Niewiadomski
Schedule-Aware Workflow Management Systems / Ronny S. Mans ; Nick C. Russell ; Wil M.P. van der Aalst ; Arnold J. Moleman ; Piet J.M. Bakker
On-the-Fly Auditing of Business Processes / Kees van Hee ; Jan Hidders ; Geert-Jan Houben ; Jan Paredaens ; Philippe Thiran
Modeling Organizational Units as Modular Components of Systems of Systems / Matthias Wester-Ebbinghaus ; Daniel Moldt ; Michael Köhler-Bu?meier
A Multi-Agent Organizational Framework for Coevolutionary Optimization / Grégoire Danoy ; Pascal Bouvry ; Olivier Boissier
Author Index
Vicinity Respecting Homomorphisms for Abstracting System Requirements / Jörg Desel ; Agathe Merceron
Search-Order Independent State Caching / Sami Evangelista ; Lars Michael Kristensen
Bounded Parametric Model Checking for Elementary Net Systems / Michal Knapik ; Maciej Szreter ; Wojciech Penczek
2.

電子ブック

EB
Kurt Jensen, Susanna Donatelli, Takeo Kanade, Maciej Koutny
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Vicinity Respecting Homomorphisms for Abstracting System Requirements / Jörg Desel ; Agathe Merceron
Search-Order Independent State Caching / Sami Evangelista ; Lars Michael Kristensen
Bounded Parametric Model Checking for Elementary Net Systems / Michal Knapik ; Maciej Szreter ; Wojciech Penczek
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets / Agata Pólrola ; Andrzej Zbrzezny
Parametric Model Checking with VerICS / Artur Niewiadomski
Schedule-Aware Workflow Management Systems / Ronny S. Mans ; Nick C. Russell ; Wil M.P. van der Aalst ; Arnold J. Moleman ; Piet J.M. Bakker
On-the-Fly Auditing of Business Processes / Kees van Hee ; Jan Hidders ; Geert-Jan Houben ; Jan Paredaens ; Philippe Thiran
Modeling Organizational Units as Modular Components of Systems of Systems / Matthias Wester-Ebbinghaus ; Daniel Moldt ; Michael Köhler-Bu?meier
A Multi-Agent Organizational Framework for Coevolutionary Optimization / Grégoire Danoy ; Pascal Bouvry ; Olivier Boissier
Author Index
Vicinity Respecting Homomorphisms for Abstracting System Requirements / Jörg Desel ; Agathe Merceron
Search-Order Independent State Caching / Sami Evangelista ; Lars Michael Kristensen
Bounded Parametric Model Checking for Elementary Net Systems / Michal Knapik ; Maciej Szreter ; Wojciech Penczek
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼