%0 Conference Paper %1 conf/qest/JansenH04 %A Jansen, David N. %A Hermanns, Holger %B QEST %D 2004 %I IEEE Computer Society %K dblp %P 250-259 %T Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? %U http://dblp.uni-trier.de/db/conf/qest/qest2004.html#JansenH04 %@ 0-7695-2185-1

@inproceedings{conf/qest/JansenH04, added-at = {2023-09-30T00:00:00.000+0200}, author = {Jansen, David N. and Hermanns, Holger}, biburl = {https://www.bibsonomy.org/bibtex/2fa90ce5ee6f054b8422664458817b651/dblp}, booktitle = {QEST}, crossref = {conf/qest/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2004.10038}, interhash = {8827b2e07596296189dc3a49df84bc02}, intrahash = {fa90ce5ee6f054b8422664458817b651}, isbn = {0-7695-2185-1}, keywords = {dblp}, pages = {250-259}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:48:54.000+0200}, title = {Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2004.html#JansenH04}, year = 2004 }