%0 Conference Paper %1 conf/qest/ArnsFTV04 %A Arns, Markus %A Fischer, Markus %A Tepper, Carsten %A Völker, Markus %B QEST %D 2004 %I IEEE Computer Society %K dblp %P 318-319 %T Visualization of Analysis Results in the ProC/B Toolset. %U http://dblp.uni-trier.de/db/conf/qest/qest2004.html#ArnsFTV04 %@ 0-7695-2185-1

@inproceedings{conf/qest/ArnsFTV04, added-at = {2023-03-23T00:00:00.000+0100}, author = {Arns, Markus and Fischer, Markus and Tepper, Carsten and Völker, Markus}, biburl = {https://www.bibsonomy.org/bibtex/2cbfc3dfc863549a0e787359ad728b7fe/dblp}, booktitle = {QEST}, crossref = {conf/qest/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2004.10005}, interhash = {de627bf7f69ba3c2d0a1d1534f825d29}, intrahash = {cbfc3dfc863549a0e787359ad728b7fe}, isbn = {0-7695-2185-1}, keywords = {dblp}, pages = {318-319}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:48:54.000+0200}, title = {Visualization of Analysis Results in the ProC/B Toolset.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2004.html#ArnsFTV04}, year = 2004 }