%0 Conference Paper %1 conf/compsac/TaylorO78 %A Taylor, Richard N. %A Osterweil, Leon J. %B COMPSAC %D 1978 %I IEEE %K dblp %P 36-41 %T A facility for verification, testing and documentation of concurrent process software. %U http://dblp.uni-trier.de/db/conf/compsac/compsac1978.html#TaylorO78

@inproceedings{conf/compsac/TaylorO78, added-at = {2017-05-21T00:00:00.000+0200}, author = {Taylor, Richard N. and Osterweil, Leon J.}, biburl = {https://www.bibsonomy.org/bibtex/2f77d59b2e934494af6c75cd68c32d2da/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/1978}, ee = {https://doi.org/10.1109/CMPSAC.1978.810304}, interhash = {95239b18c9e6688878bf295b3e64ba7d}, intrahash = {f77d59b2e934494af6c75cd68c32d2da}, keywords = {dblp}, pages = {36-41}, publisher = {IEEE}, timestamp = {2019-10-17T20:11:05.000+0200}, title = {A facility for verification, testing and documentation of concurrent process software.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac1978.html#TaylorO78}, year = 1978 }