%0 Journal Article %1 YoungM..1988 %A Young,, M., %A Taylor,, R. M., %D 1988 %J IEEE Trans. Softw. Eng. %K Informatik %N 10 %P 1499–1511 %T Combining Static Concurrency Analysis with Symbolic Execution %V 14

@article{YoungM..1988, added-at = {2013-10-18T15:43:03.000+0200}, author = {{Young,, M.} and {Taylor,, R. M.}}, biburl = {https://www.bibsonomy.org/bibtex/2e7e3d09d94b6eeb44dfd03c21d3cafce/hlackner}, interhash = {8d782f79d0dd12d40f0b22b61945e755}, intrahash = {e7e3d09d94b6eeb44dfd03c21d3cafce}, journal = {IEEE Trans. Softw. Eng.}, keywords = {Informatik}, number = 10, pages = {1499–1511}, timestamp = {2013-10-18T15:43:03.000+0200}, title = {Combining Static Concurrency Analysis with Symbolic Execution}, volume = 14, year = 1988 }