Barbara König
3 published titles
Concur 2011 - Concurrency theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 5-10 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642232169
- Springer
- 2011
- Details
Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory And Practice of Software, ETAPS
(Contributor)
1 edition
- ISBN: 9783642287558
- Springer
- 2012
- Details
Graph transformation : 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22-24, 2014 : proceedings
(Contributor)
1 edition
- ISBN: 9783319091075
- Springer
- 2014
- Details
