%0 Conference Paper %1 conf/rtss/WeinbergL96 %A Weinberg, Henri B. %A Lynch, Nancy A. %B RTSS %D 1996 %I IEEE Computer Society %K dblp %P 62-72 %T Correctness of vehicle control systems-a case study. %U http://dblp.uni-trier.de/db/conf/rtss/rtss1996.html#WeinbergL96 %@ 0-8186-7689-2

@inproceedings{conf/rtss/WeinbergL96, added-at = {2023-03-24T00:00:00.000+0100}, author = {Weinberg, Henri B. and Lynch, Nancy A.}, biburl = {https://www.bibsonomy.org/bibtex/20ce2ae86279590709a34651f14b755d3/dblp}, booktitle = {RTSS}, crossref = {conf/rtss/1996}, ee = {https://doi.ieeecomputersociety.org/10.1109/REAL.1996.563701}, interhash = {9cfef054b1ace49df2fc82541a2dfe25}, intrahash = {0ce2ae86279590709a34651f14b755d3}, isbn = {0-8186-7689-2}, keywords = {dblp}, pages = {62-72}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:03:54.000+0200}, title = {Correctness of vehicle control systems-a case study.}, url = {http://dblp.uni-trier.de/db/conf/rtss/rtss1996.html#WeinbergL96}, year = 1996 }