Author/Creator: Haar, Stefan - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Haar, Stefan

1. Application and theory of petri nets and concurrency : 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, proceedings /: 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, proceedings. (2019)

Editors:: Donatelli, Susanna; Haar, Stefan
Other Names:: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 40th
Record Type:: Book
Extent:: 1 online resource (471 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Model‐based testing for concurrent systems with labelled event structures. (21st August 2014)

Authors:: de León, Hernán Ponce; Haar, Stefan; Longuet, Delphine; Brucker, Achim D.; Julliand, Jacques
Journal:: Software testing, verification & reliability
Issue:: Volume 24:Number 7(2014)
Page Start:: 558
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems*. Issue 27 (2015)

Authors:: Haar, Stefan; Theissing, Simon
Journal:: IFAC-PapersOnLine
Issue:: Volume 48:Issue 27(2015)
Page Start:: 236
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗