Stephan Kleuker
Incremental Development of Deadlock-Free Communicating Systems
TACAS, 1997.
@inproceedings{TACAS-1997-Kleuker, author = "Stephan Kleuker", booktitle = "{Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/BFb0035396", isbn = "3-540-62790-1", pages = "306--320", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Incremental Development of Deadlock-Free Communicating Systems}", volume = 1217, year = 1997, }