%0 Conference Paper %1 conf/sigada/KaramB87 %A Karam, Gerald M. %A Buhr, Raymond J. A. %B SIGAda %D 1987 %E Brosgol, Benjamin M. %I ACM %K dblp %P 36-44 %T Experience with the automatic temporal analysis of multitasking Ada designs. %U http://dblp.uni-trier.de/db/conf/sigada/sigada1987.html#KaramB87 %@ 978-0-89791-243-3

@inproceedings{conf/sigada/KaramB87, added-at = {2022-03-28T00:00:00.000+0200}, author = {Karam, Gerald M. and Buhr, Raymond J. A.}, biburl = {https://www.bibsonomy.org/bibtex/247e744f3d4fcd2bddb5afe9e4c889803/dblp}, booktitle = {SIGAda}, crossref = {conf/sigada/1987}, editor = {Brosgol, Benjamin M.}, ee = {https://doi.org/10.1145/317500.317505}, interhash = {4b9c9b4e03379e87ee9d1cc46e25e74e}, intrahash = {47e744f3d4fcd2bddb5afe9e4c889803}, isbn = {978-0-89791-243-3}, keywords = {dblp}, pages = {36-44}, publisher = {ACM}, timestamp = {2024-04-09T17:43:13.000+0200}, title = {Experience with the automatic temporal analysis of multitasking Ada designs.}, url = {http://dblp.uni-trier.de/db/conf/sigada/sigada1987.html#KaramB87}, year = 1987 }