On Verifying Unbounded Client-Server Systems

Type

Authors

Prince T.

Source title

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

10.1007/978-3-031-43264-4_33

Publication Year