Related Books
Language: en
Pages: 514
Pages: 514
Type: BOOK - Published: 2014-05-23 - Publisher: Springer
This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate h
Language: en
Pages: 342
Pages: 342
Type: BOOK - Published: 2016-10-19 - Publisher: Springer
This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETT
Language: en
Pages: 315
Pages: 315
Type: BOOK - Published: 2022-08-28 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Wars
Language: en
Pages: 246
Pages: 246
Type: BOOK - Published: 2022-06-13 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in
Language: en
Pages: 569
Pages: 569
Type: BOOK - Published: 2018-09-29 - Publisher: Springer
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los
