%0 Conference Paper %1 conf/fm/BotaschanjanGHKST06 %A Botaschanjan, Jewgenij %A Gruler, Alexander %A Harhurin, Alexander %A Kof, Leonid %A Spichkova, Maria %A Trachtenherz, David %B FM %D 2006 %E Misra, Jayadev %E Nipkow, Tobias %E Sekerinski, Emil %I Springer %K dblp %P 163-178 %T Towards Modularized Verification of Distributed Time-Triggered Systems. %U http://dblp.uni-trier.de/db/conf/fm/fm2006.html#BotaschanjanGHKST06 %V 4085 %@ 3-540-37215-6

@inproceedings{conf/fm/BotaschanjanGHKST06, added-at = {2017-05-22T00:00:00.000+0200}, author = {Botaschanjan, Jewgenij and Gruler, Alexander and Harhurin, Alexander and Kof, Leonid and Spichkova, Maria and Trachtenherz, David}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22f2520506c702c670a06d7d8ce88a8e3/dblp}, booktitle = {FM}, crossref = {conf/fm/2006}, editor = {Misra, Jayadev and Nipkow, Tobias and Sekerinski, Emil}, ee = {https://doi.org/10.1007/11813040_12}, interhash = {7de8845ea9ce3736a20f687f7c057b25}, intrahash = {2f2520506c702c670a06d7d8ce88a8e3}, isbn = {3-540-37215-6}, keywords = {dblp}, pages = {163-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:52:14.000+0200}, title = {Towards Modularized Verification of Distributed Time-Triggered Systems.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2006.html#BotaschanjanGHKST06}, volume = 4085, year = 2006 }