Cover Image
Read Now

4
Published 2011
Springer Berlin Heidelberg
“... Computing, DISC 2011, held in Rome, Italy, in September 2011. The 31 revised full papers presented together...”
Cover Image
Read Now

8
Published 2014
Springer Berlin Heidelberg
“... Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds...”
Cover Image
Read Now

12
Published 2013
Springer Berlin Heidelberg
“..., Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co...”
Cover Image
Read Now

13
Published 2008
Springer Berlin Heidelberg
“...This book constitutes the refereed proceedings of the 22nd International Workshop on Computer...”
Cover Image
Read Now

15
Published 2022
Springer International Publishing
“... and Intelligent Information Systems, MobiWIS 2022, held in Rome, Italy, in August 2022. The 18 full papers and 1...”
Cover Image
Read Now

16
Published 1997
Springer Berlin Heidelberg
“...This book constitutes the carefully refereed post-proceedings of the 22nd International Workshop...”
Cover Image
Read Now

17
Published 2023
Springer Nature Switzerland
“...This two-volume set LNCS 14233-14234 constitutes the refereed proceedings of the 22nd International...”
Cover Image
Read Now

19
Published 2014
Springer Berlin Heidelberg
“...This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS...”
Cover Image
Read Now

20
Published 2019
Springer International Publishing
“..., Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019. The 21 full...”