@inproceedings{conf/etfa/PopescuL07a,
  added-at = {2012-12-13T00:00:00.000+0100},
  author = {Popescu, Corina and Lastra, Jose L. Martinez},
  biburl = {https://www.bibsonomy.org/bibtex/274599414ab97bf579a2e67b0631e8058/dblp},
  booktitle = {ETFA},
  crossref = {conf/etfa/2007},
  ee = {http://dx.doi.org/10.1109/EFTA.2007.4416844},
  interhash = {a6b58d34ec198542c46cd9b2c2d9ab36},
  intrahash = {74599414ab97bf579a2e67b0631e8058},
  isbn = {978-1-4244-0825-2},
  keywords = {dblp},
  pages = {732-735},
  publisher = {IEEE},
  timestamp = {2012-12-14T11:40:10.000+0100},
  title = {Modeling logical and temporal conditions to formally validate factory automation web services.},
  url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2007.html#PopescuL07a},
  year = 2007
}

{"_id":"FZ4WEsF5nwRSvr7wq","bibbaseid":"popescu-lastra-modelinglogicalandtemporalconditionstoformallyvalidatefactoryautomationwebservices-2007","authorIDs":[],"author_short":["Popescu, C.","Lastra, J. L. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2012-12-13T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Popescu"],"firstnames":["Corina"],"suffixes":[]},{"propositions":[],"lastnames":["Lastra"],"firstnames":["Jose","L.","Martinez"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/274599414ab97bf579a2e67b0631e8058/dblp","booktitle":"ETFA","crossref":"conf/etfa/2007","ee":"http://dx.doi.org/10.1109/EFTA.2007.4416844","interhash":"a6b58d34ec198542c46cd9b2c2d9ab36","intrahash":"74599414ab97bf579a2e67b0631e8058","isbn":"978-1-4244-0825-2","keywords":"dblp","pages":"732-735","publisher":"IEEE","timestamp":"2012-12-14T11:40:10.000+0100","title":"Modeling logical and temporal conditions to formally validate factory automation web services.","url":"http://dblp.uni-trier.de/db/conf/etfa/etfa2007.html#PopescuL07a","year":"2007","bibtex":"@inproceedings{conf/etfa/PopescuL07a,\n added-at = {2012-12-13T00:00:00.000+0100},\n author = {Popescu, Corina and Lastra, Jose L. Martinez},\n biburl = {https://www.bibsonomy.org/bibtex/274599414ab97bf579a2e67b0631e8058/dblp},\n booktitle = {ETFA},\n crossref = {conf/etfa/2007},\n ee = {http://dx.doi.org/10.1109/EFTA.2007.4416844},\n interhash = {a6b58d34ec198542c46cd9b2c2d9ab36},\n intrahash = {74599414ab97bf579a2e67b0631e8058},\n isbn = {978-1-4244-0825-2},\n keywords = {dblp},\n pages = {732-735},\n publisher = {IEEE},\n timestamp = {2012-12-14T11:40:10.000+0100},\n title = {Modeling logical and temporal conditions to formally validate factory automation web services.},\n url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2007.html#PopescuL07a},\n year = 2007\n}\n\n","author_short":["Popescu, C.","Lastra, J. L. M."],"key":"conf/etfa/PopescuL07a","id":"conf/etfa/PopescuL07a","bibbaseid":"popescu-lastra-modelinglogicalandtemporalconditionstoformallyvalidatefactoryautomationwebservices-2007","role":"author","urls":{"Link":"http://dx.doi.org/10.1109/EFTA.2007.4416844","Paper":"http://dblp.uni-trier.de/db/conf/etfa/etfa2007.html#PopescuL07a"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.635Z","downloads":0,"keywords":["dblp"],"search_terms":["modeling","logical","temporal","conditions","formally","validate","factory","automation","web","services","popescu","lastra"],"title":"Modeling logical and temporal conditions to formally validate factory automation web services.","year":2007,"dataSources":["nk4Sfi2ddzBtdLpRN"]}