Model Checking a Client-Server System with a Scalable Level of Concurrency

Reference:

Topi Pohjolainen. Model checking a client-server system with a scalable level of concurrency. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.

Suggested BibTeX entry:

@mastersthesis{PohjolainenMsc,
    author = {Topi Pohjolainen},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {Model Checking a Client-Server System with a Scalable Level of Concurrency},
    year = {2005},
}