Start Over
You searched for: author_facet Baier, Christel

Search Results

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18

Location
Access Content Online
Cover image for Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14?20, 2018. Proceedings

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14?20, 2018. Proceedings

Location
Access Content Online
Cover image for Principles of model checking

Principles of model checking

Location
Access Content Online
Cover image for Principles of model checking

Principles of model checking

Location
Access Content Online
Cover image for CONCUR 2006 - concurrency theory

CONCUR 2006 - concurrency theory

Joyner Library - General Stacks
Call Number: QA76.58 .I53 2006
Cover image for SOFSEM 2017

SOFSEM 2017

Location
Access Content Online
Cover image for Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

Location
Access Content Online
Cover image for CONCUR 2006--concurrency theory

CONCUR 2006--concurrency theory

Location
Access Content Online
Cover image for International Workshop on Synthesis and Analysis of Component Connectors

International Workshop on Synthesis and Analysis of Component Connectors

Location
Access Content Online
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Location
Access Content Online