@article{ dblp3870820,
  title = {Application of Partial-Order Methods to Reactive Programs with Event Memorization},
  author = {Frédéric Herbreteau and Franck Cassez and Olivier Roux},
  author_short = {Herbreteau, F. and Cassez, F. and Roux, O.},
  bibtype = {article},
  type = {article},
  year = {2001},
  key = {dblp3870820},
  id = {dblp3870820},
  biburl = {http://www.dblp.org/rec/bibtex/journals/rts/HerbreteauCR01},
  url = {http://dx.doi.org/10.1023/A:1008129319165},
  journal = {Real-Time Systems (RTS)},
  pages = {287-316},
  number = {3},
  volume = {20},
  text = {Real-Time Systems (RTS) 20(3):287-316 (2001)}
}

{"_id":"TQ9fhfam5nM47nr2m","bibbaseid":"herbreteau-cassez-roux-applicationofpartialordermethodstoreactiveprogramswitheventmemorization-2001","downloads":0,"creationDate":"2015-03-18T10:58:01.730Z","title":"Application of Partial-Order Methods to Reactive Programs with Event Memorization","author_short":["Herbreteau, F.","Cassez, F.","Roux, O."],"year":2001,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/rts/HerbreteauCR01","bibdata":{"title":"Application of Partial-Order Methods to Reactive Programs with Event Memorization","author":["Frédéric Herbreteau","Franck Cassez","Olivier Roux"],"author_short":["Herbreteau, F.","Cassez, F.","Roux, O."],"bibtype":"article","type":"article","year":"2001","key":"dblp3870820","id":"dblp3870820","biburl":"http://www.dblp.org/rec/bibtex/journals/rts/HerbreteauCR01","url":"http://dx.doi.org/10.1023/A:1008129319165","journal":"Real-Time Systems (RTS)","pages":"287-316","number":"3","volume":"20","text":"Real-Time Systems (RTS) 20(3):287-316 (2001)","bibtex":"@article{ dblp3870820,\n title = {Application of Partial-Order Methods to Reactive Programs with Event Memorization},\n author = {Frédéric Herbreteau and Franck Cassez and Olivier Roux},\n author_short = {Herbreteau, F. and Cassez, F. and Roux, O.},\n bibtype = {article},\n type = {article},\n year = {2001},\n key = {dblp3870820},\n id = {dblp3870820},\n biburl = {http://www.dblp.org/rec/bibtex/journals/rts/HerbreteauCR01},\n url = {http://dx.doi.org/10.1023/A:1008129319165},\n journal = {Real-Time Systems (RTS)},\n pages = {287-316},\n number = {3},\n volume = {20},\n text = {Real-Time Systems (RTS) 20(3):287-316 (2001)}\n}","bibbaseid":"herbreteau-cassez-roux-applicationofpartialordermethodstoreactiveprogramswitheventmemorization-2001","role":"author","urls":{"Paper":"http://dx.doi.org/10.1023/A:1008129319165"},"downloads":0},"search_terms":["application","partial","order","methods","reactive","programs","event","memorization","herbreteau","cassez","roux"],"keywords":[],"authorIDs":[],"dataSources":["TA32DvwBNp8rh9aPr"]}