Jürgen Bohn, Stephan Rössig
On Automatic and Interactive Design of Communication Systems
TACAS, 1995.
@inproceedings{TACAS-1995-BohnR,
author = "Jürgen Bohn and Stephan Rössig",
booktitle = "{Proceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/3-540-60630-0_11",
isbn = "3-540-60630-0",
pages = "216--237",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On Automatic and Interactive Design of Communication Systems}",
volume = 1019,
year = 1995,
}