Martin Huber. Combining specification methods for distributed systems. PhD thesis, Karlsruhe Institute of Technology, 1999. [doi]
@phdthesis{de-92, title = {Combining specification methods for distributed systems}, author = {Martin Huber}, year = {1999}, url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/24199}, note = {http://d-nb.info/1007712945}, researchr = {https://researchr.org/publication/de-92}, cites = {0}, citedby = {0}, school = {Karlsruhe Institute of Technology}, }