Andrey Rybalchenko. Temporale Verifikation mit Transitionsinvarianten. In Dorothea Wagner, editor, Ausgezeichnete Informatikdissertationen 2005. Volume D-6 of LNI, pages 141-150, GI, 2005. [doi]
@inproceedings{Rybalchenko05,
title = {Temporale Verifikation mit Transitionsinvarianten},
author = {Andrey Rybalchenko},
year = {2005},
url = {http://subs.emis.de/LNI/Dissertation/Dissertation6/article63.html},
researchr = {https://researchr.org/publication/Rybalchenko05},
cites = {0},
citedby = {0},
pages = {141-150},
booktitle = {Ausgezeichnete Informatikdissertationen 2005},
editor = {Dorothea Wagner},
volume = {D-6},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-410-3},
}