Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev. Invariants, Modularity, and Rights. In Amir Pnueli, Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Volume 5947 of Lecture Notes in Computer Science, pages 43-55, Springer, 2009. [doi]
@inproceedings{CohenABDDHLLMOPPPSSSSSTTT09,
title = {Invariants, Modularity, and Rights},
author = {Ernie Cohen and Eyad Alkassar and Vladimir Boyarinov and Markus Dahlweid and Ulan Degenbaev and Mark A. Hillebrand and Bruno Langenstein and Dirk Leinenbach and Michal Moskal and Steven Obua and Wolfgang J. Paul and Hristo Pentchev and Elena Petrova and Thomas Santen and Norbert Schirmer and Sabine Schmaltz and Wolfram Schulte and Andrey Shadrin and Stephan Tobies and Alexandra Tsyban and Sergey Tverdyshev},
year = {2009},
doi = {10.1007/978-3-642-11486-1_4},
url = {http://dx.doi.org/10.1007/978-3-642-11486-1_4},
researchr = {https://researchr.org/publication/CohenABDDHLLMOPPPSSSSSTTT09},
cites = {0},
citedby = {0},
pages = {43-55},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers},
editor = {Amir Pnueli and Irina Virbitskaite and Andrei Voronkov},
volume = {5947},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-11485-4},
}