@inproceedings{conf/isads/CerutiR03,
  added-at = {2023-03-23T00:00:00.000+0100},
  author = {Ceruti, Marion G. and Rubin, Stuart Harvey},
  biburl = {https://www.bibsonomy.org/bibtex/218c78afb45f58de44e602c4631b69ab5/dblp},
  booktitle = {ISADS},
  crossref = {conf/isads/2003},
  ee = {https://doi.ieeecomputersociety.org/10.1109/ISADS.2003.1193941},
  interhash = {73651e511b0814c57b1f7f1974d1c85e},
  intrahash = {18c78afb45f58de44e602c4631b69ab5},
  isbn = {0-7695-1876-1},
  keywords = {dblp},
  pages = {131-138},
  publisher = {IEEE Computer Society},
  timestamp = {2024-04-10T19:48:43.000+0200},
  title = {Dynamic Three-Value Logic in Decentralized Time-Critical Domains.},
  url = {http://dblp.uni-trier.de/db/conf/isads/isads2003.html#CerutiR03},
  year = 2003
}

{"_id":"P2KHxMwHw4ncxaEaf","bibbaseid":"ceruti-rubin-dynamicthreevaluelogicindecentralizedtimecriticaldomains-2003","author_short":["Ceruti, M. G.","Rubin, S. H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-03-23T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Ceruti"],"firstnames":["Marion","G."],"suffixes":[]},{"propositions":[],"lastnames":["Rubin"],"firstnames":["Stuart","Harvey"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/218c78afb45f58de44e602c4631b69ab5/dblp","booktitle":"ISADS","crossref":"conf/isads/2003","ee":"https://doi.ieeecomputersociety.org/10.1109/ISADS.2003.1193941","interhash":"73651e511b0814c57b1f7f1974d1c85e","intrahash":"18c78afb45f58de44e602c4631b69ab5","isbn":"0-7695-1876-1","keywords":"dblp","pages":"131-138","publisher":"IEEE Computer Society","timestamp":"2024-04-10T19:48:43.000+0200","title":"Dynamic Three-Value Logic in Decentralized Time-Critical Domains.","url":"http://dblp.uni-trier.de/db/conf/isads/isads2003.html#CerutiR03","year":"2003","bibtex":"@inproceedings{conf/isads/CerutiR03,\n added-at = {2023-03-23T00:00:00.000+0100},\n author = {Ceruti, Marion G. and Rubin, Stuart Harvey},\n biburl = {https://www.bibsonomy.org/bibtex/218c78afb45f58de44e602c4631b69ab5/dblp},\n booktitle = {ISADS},\n crossref = {conf/isads/2003},\n ee = {https://doi.ieeecomputersociety.org/10.1109/ISADS.2003.1193941},\n interhash = {73651e511b0814c57b1f7f1974d1c85e},\n intrahash = {18c78afb45f58de44e602c4631b69ab5},\n isbn = {0-7695-1876-1},\n keywords = {dblp},\n pages = {131-138},\n publisher = {IEEE Computer Society},\n timestamp = {2024-04-10T19:48:43.000+0200},\n title = {Dynamic Three-Value Logic in Decentralized Time-Critical Domains.},\n url = {http://dblp.uni-trier.de/db/conf/isads/isads2003.html#CerutiR03},\n year = 2003\n}\n\n","author_short":["Ceruti, M. G.","Rubin, S. H."],"key":"conf/isads/CerutiR03","id":"conf/isads/CerutiR03","bibbaseid":"ceruti-rubin-dynamicthreevaluelogicindecentralizedtimecriticaldomains-2003","role":"author","urls":{"Link":"https://doi.ieeecomputersociety.org/10.1109/ISADS.2003.1193941","Paper":"http://dblp.uni-trier.de/db/conf/isads/isads2003.html#CerutiR03"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Rubin?items=1000","dataSources":["74JLffDBQLjrojguT"],"keywords":["dblp"],"search_terms":["dynamic","three","value","logic","decentralized","time","critical","domains","ceruti","rubin"],"title":"Dynamic Three-Value Logic in Decentralized Time-Critical Domains.","year":2003}