This volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...
اقرأ المزيدThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
اقرأ المزيد