%0 Book Section %1 conf/gi/Schafer06 %A Schäfer, Andreas %B Ausgezeichnete Informatikdissertationen %D 2006 %E Wagner, Dorothea %E et al., %I GI %K dblp %P 169-178 %T Specification and verification of mobile real-time systems. %U http://dblp.uni-trier.de/db/conf/gi/diss2006.html#Schafer06 %V D-7 %@ 978-3-88579-411-0

@incollection{conf/gi/Schafer06, added-at = {2022-01-18T00:00:00.000+0100}, author = {Schäfer, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21f6190ae51c2d2536a051364d2973500/dblp}, booktitle = {Ausgezeichnete Informatikdissertationen}, crossref = {conf/gi/2006diss}, editor = {Wagner, Dorothea and et al.}, ee = {https://subs.emis.de/LNI/Dissertation/Dissertation7/article89.html}, interhash = {8e99086afef49b148ff1500801d3db9d}, intrahash = {1f6190ae51c2d2536a051364d2973500}, isbn = {978-3-88579-411-0}, keywords = {dblp}, pages = {169-178}, publisher = {GI}, series = {LNI}, timestamp = {2022-03-01T06:52:05.000+0100}, title = {Specification and verification of mobile real-time systems.}, url = {http://dblp.uni-trier.de/db/conf/gi/diss2006.html#Schafer06}, volume = {D-7}, year = 2006 }