Tarvo Raudvere. System Level Techniques for Verification and Synchronization after Local Design Refinements. PhD thesis, Royal Institute of Technology, Stockholm, Sweden, 2007. [doi]
@phdthesis{basesearch-2479,
title = {System Level Techniques for Verification and Synchronization after Local Design Refinements},
author = {Tarvo Raudvere},
year = {2007},
url = {https://www.base-search.net/Record/553da7d2d27db9e17732174bc015aab7df7156ec0bd880b16199c7b4a17faa30},
note = {base-search.net (ftkthstockholm:oai:DiVA.org:kth-4471)},
researchr = {https://researchr.org/publication/basesearch-2479},
cites = {0},
citedby = {0},
school = {Royal Institute of Technology, Stockholm, Sweden},
}