Behavioural Models
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer International Publishing

9783319449586, 9783319449609

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Business Process Models

Behavioural Models ◽

10.1007/978-3-319-44960-9_5 ◽

2016 ◽

pp. 125-159 ◽

Cited By ~ 2

Author(s):

Matthias Kunze ◽

Mathias Weske

Keyword(s):

Business Process ◽

Process Models ◽

Business Process Models

Concurrent Systems

Behavioural Models ◽

10.1007/978-3-319-44960-9_4 ◽

2016 ◽

pp. 81-124

Author(s):

Matthias Kunze ◽

Mathias Weske

Keyword(s):

Concurrent Systems

Verification

Behavioural Models ◽

10.1007/978-3-319-44960-9_8 ◽

2016 ◽

pp. 231-272

Author(s):

Matthias Kunze ◽

Mathias Weske

Comparing Behaviour

Behavioural Models ◽

10.1007/978-3-319-44960-9_7 ◽

2016 ◽

pp. 187-229

Author(s):

Matthias Kunze ◽

Mathias Weske

State Spaces

Behavioural Models ◽

10.1007/978-3-319-44960-9_6 ◽

2016 ◽

pp. 163-185

Author(s):

Matthias Kunze ◽

Mathias Weske

Keyword(s):

State Spaces

Sequential Systems

Behavioural Models ◽

10.1007/978-3-319-44960-9_3 ◽

2016 ◽

pp. 39-79

Author(s):

Matthias Kunze ◽

Mathias Weske

Keyword(s):

Sequential Systems

Discrete Dynamic Systems

Behavioural Models ◽

10.1007/978-3-319-44960-9_2 ◽

2016 ◽

pp. 21-36

Author(s):

Matthias Kunze ◽

Mathias Weske

Keyword(s):

Dynamic Systems ◽

Discrete Dynamic ◽

Discrete Dynamic Systems

Introduction

Behavioural Models ◽

10.1007/978-3-319-44960-9_1 ◽

2016 ◽

pp. 3-19 ◽

Cited By ~ 1

Author(s):

Matthias Kunze ◽

Mathias Weske