A Technique of State Space Search Based on Unfolding. McMillan, K. L. Formal Methods in System Design, 6(1):45–65, 1995. ![A Technique of State Space Search Based on Unfolding [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @article{DBLP:journals/fmsd/McMillan95,
author = {Kenneth L. McMillan},
title = {A Technique of State Space Search Based on Unfolding},
journal = {Formal Methods in System Design},
volume = {6},
number = {1},
pages = {45--65},
year = {1995},
url = {https://doi.org/10.1007/BF01384314},
doi = {10.1007/BF01384314},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fmsd/McMillan95},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"2MEKrXR6cu5ZginJs","bibbaseid":"mcmillan-atechniqueofstatespacesearchbasedonunfolding-1995","downloads":0,"creationDate":"2018-07-08T21:22:38.773Z","title":"A Technique of State Space Search Based on Unfolding","author_short":["McMillan, K. L."],"year":1995,"bibtype":"article","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Kenneth","L."],"propositions":[],"lastnames":["McMillan"],"suffixes":[]}],"title":"A Technique of State Space Search Based on Unfolding","journal":"Formal Methods in System Design","volume":"6","number":"1","pages":"45–65","year":"1995","url":"https://doi.org/10.1007/BF01384314","doi":"10.1007/BF01384314","timestamp":"Sat, 27 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/fmsd/McMillan95","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fmsd/McMillan95,\n author = {Kenneth L. McMillan},\n title = {A Technique of State Space Search Based on Unfolding},\n journal = {Formal Methods in System Design},\n volume = {6},\n number = {1},\n pages = {45--65},\n year = {1995},\n url = {https://doi.org/10.1007/BF01384314},\n doi = {10.1007/BF01384314},\n timestamp = {Sat, 27 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/fmsd/McMillan95},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["McMillan, K. L."],"key":"DBLP:journals/fmsd/McMillan95","id":"DBLP:journals/fmsd/McMillan95","bibbaseid":"mcmillan-atechniqueofstatespacesearchbasedonunfolding-1995","role":"author","urls":{"Paper":"https://doi.org/10.1007/BF01384314"},"downloads":0,"html":""},"search_terms":["technique","state","space","search","based","unfolding","mcmillan"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}