@inproceedings{DBLP:conf/dac/KhatriNKMBS96,
  author    = {Sunil P. Khatri and
               Amit Narayan and
               Sriram C. Krishnan and
               Kenneth L. McMillan and
               Robert K. Brayton and
               Alberto L. Sangiovanni{-}Vincentelli},
  title     = {Engineering Change in a Non-Deterministic {FSM} Setting},
  booktitle = {Proceedings of the 33st Conference on Design Automation, Las Vegas,
               Nevada, USA, Las Vegas Convention Center, June 3-7, 1996.},
  pages     = {451--456},
  year      = {1996},
  crossref  = {DBLP:conf/dac/1996},
  url       = {http://doi.acm.org/10.1145/240518.240604},
  doi       = {10.1145/240518.240604},
  timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/KhatriNKMBS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"KZGmHwbzTyazoDSZP","bibbaseid":"khatri-narayan-krishnan-mcmillan-brayton-sangiovannivincentelli-engineeringchangeinanondeterministicfsmsetting-1996","downloads":0,"creationDate":"2018-07-08T21:22:38.765Z","title":"Engineering Change in a Non-Deterministic FSM Setting","author_short":["Khatri, S. P.","Narayan, A.","Krishnan, S. C.","McMillan, K. L.","Brayton, R. K.","Sangiovanni-Vincentelli, A. L."],"year":1996,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sunil","P."],"propositions":[],"lastnames":["Khatri"],"suffixes":[]},{"firstnames":["Amit"],"propositions":[],"lastnames":["Narayan"],"suffixes":[]},{"firstnames":["Sriram","C."],"propositions":[],"lastnames":["Krishnan"],"suffixes":[]},{"firstnames":["Kenneth","L."],"propositions":[],"lastnames":["McMillan"],"suffixes":[]},{"firstnames":["Robert","K."],"propositions":[],"lastnames":["Brayton"],"suffixes":[]},{"firstnames":["Alberto","L."],"propositions":[],"lastnames":["Sangiovanni-Vincentelli"],"suffixes":[]}],"title":"Engineering Change in a Non-Deterministic FSM Setting","booktitle":"Proceedings of the 33st Conference on Design Automation, Las Vegas, Nevada, USA, Las Vegas Convention Center, June 3-7, 1996.","pages":"451–456","year":"1996","crossref":"DBLP:conf/dac/1996","url":"http://doi.acm.org/10.1145/240518.240604","doi":"10.1145/240518.240604","timestamp":"Thu, 16 Mar 2017 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/dac/KhatriNKMBS96","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/dac/KhatriNKMBS96,\n author = {Sunil P. Khatri and\n Amit Narayan and\n Sriram C. Krishnan and\n Kenneth L. McMillan and\n Robert K. Brayton and\n Alberto L. Sangiovanni{-}Vincentelli},\n title = {Engineering Change in a Non-Deterministic {FSM} Setting},\n booktitle = {Proceedings of the 33st Conference on Design Automation, Las Vegas,\n Nevada, USA, Las Vegas Convention Center, June 3-7, 1996.},\n pages = {451--456},\n year = {1996},\n crossref = {DBLP:conf/dac/1996},\n url = {http://doi.acm.org/10.1145/240518.240604},\n doi = {10.1145/240518.240604},\n timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/dac/KhatriNKMBS96},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Khatri, S. P.","Narayan, A.","Krishnan, S. C.","McMillan, K. L.","Brayton, R. K.","Sangiovanni-Vincentelli, A. L."],"key":"DBLP:conf/dac/KhatriNKMBS96","id":"DBLP:conf/dac/KhatriNKMBS96","bibbaseid":"khatri-narayan-krishnan-mcmillan-brayton-sangiovannivincentelli-engineeringchangeinanondeterministicfsmsetting-1996","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/240518.240604"},"downloads":0,"html":""},"search_terms":["engineering","change","non","deterministic","fsm","setting","khatri","narayan","krishnan","mcmillan","brayton","sangiovanni-vincentelli"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}