Martin Huber 0001 Combining specification methods for distributed systems. 1999 1-206 Karlsruhe Institute of Technology, Germany http://digbib.ubka.uni-karlsruhe.de/volltexte/24199 https://nbn-resolving.org/urn:nbn:de:swb:90-AAA241998 https://d-nb.info/957219504 https://d-nb.info/1007712945