Symbolic Execution of Distributed Systems

Raimondas Sasnaukas
January 2013
Cite shaker.de
Type
Thesis
Collection
Reports on Communications and Distributed Systems
Placeholder Avatar
Raimondas Sasnaukas