Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662606506, 9783662606513
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Evaluating Conformance Measures in Process Mining Using Conformance Propositions

2019 ◽  
pp. 192-221 ◽  
Author(s):  
Anja F. Syring ◽  
Niek Tax ◽  
Wil M. P. van der Aalst
Keyword(s):  
Process Mining

scholarly journals Parametric Verification: An Introduction

2019 ◽  
pp. 64-100
Author(s):  
Étienne André ◽  
Michał Knapik ◽  
Didier Lime ◽  
Wojciech Penczek ◽  
Laure Petrucci

Formal Modelling and Incremental Verification of the MQTT IoT Protocol

2019 ◽  
pp. 126-145 ◽  
Author(s):  
Alejandro Rodríguez ◽  
Lars Michael Kristensen ◽  
Adrian Rutle
Keyword(s):  
Formal Modelling

scholarly journals A Tour in Process Mining: From Practice to Algorithmic Challenges

2019 ◽  
pp. 1-35
Author(s):  
Wil van der Aalst ◽  
Josep Carmona ◽  
Thomas Chatain ◽  
Boudewijn van Dongen
Keyword(s):  
Process Mining
Load More ...
Sign in / Sign up

Export Citation Format

Share Document