%0 Journal Article %1 journals/dam/WilliamsR07 %A Williams, Brian C. %A Ragno, Robert J. %D 2007 %J Discret. Appl. Math. %K dblp %N 12 %P 1562-1595 %T Conflict-directed A* and its role in model-based embedded systems. %U http://dblp.uni-trier.de/db/journals/dam/dam155.html#WilliamsR07 %V 155

@article{journals/dam/WilliamsR07, added-at = {2021-02-11T00:00:00.000+0100}, author = {Williams, Brian C. and Ragno, Robert J.}, biburl = {https://www.bibsonomy.org/bibtex/28c472b6d5ed865b4429a6b08c38ed86b/dblp}, ee = {https://doi.org/10.1016/j.dam.2005.10.022}, interhash = {d62bae877100f045f61cb09f10e00fd5}, intrahash = {8c472b6d5ed865b4429a6b08c38ed86b}, journal = {Discret. Appl. Math.}, keywords = {dblp}, number = 12, pages = {1562-1595}, timestamp = {2024-04-09T01:30:14.000+0200}, title = {Conflict-directed A* and its role in model-based embedded systems.}, url = {http://dblp.uni-trier.de/db/journals/dam/dam155.html#WilliamsR07}, volume = 155, year = 2007 }