@BOOK{cassez-movep-98,
  CLASS = {ed-book},
  EDITOR = {Franck Cassez and Jard, Claude and Roux, Olivier and Rozoy, Brigitte},
  KEYWORDS = {Informatique, v{\'e}rification, sp{\'e}cification},
  MONTH = JUN,
  LEX = {D},
  NOTE = {280 pages, in french},
  CATEGORY = {misc},
  NUMIRCYN = {B},
  PUBLISHER = {Ecole Centrale de Nantes},
  TITLE = {{Actes de l'\'ecole d'\'et\'e MOVEP'98}},
  YEAR = {1998}
}

{"_id":"ZfjMncYhNi5YkSdmW","bibbaseid":"cassez-jard-roux-rozoy-actesdelcoledtmovep98-1998","downloads":0,"creationDate":"2015-12-22T04:31:53.190Z","title":"Actes de l'école d'été MOVEP'98","author_short":null,"year":1998,"bibtype":"book","biburl":"http://science.mq.edu.au/~fcassez/bib/mabib.bib","bibdata":{"bibtype":"book","type":"book","class":"ed-book","editor":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"propositions":[],"lastnames":["Jard"],"firstnames":["Claude"],"suffixes":[]},{"propositions":[],"lastnames":["Roux"],"firstnames":["Olivier"],"suffixes":[]},{"propositions":[],"lastnames":["Rozoy"],"firstnames":["Brigitte"],"suffixes":[]}],"keywords":"Informatique, vérification, spécification","month":"June","lex":"D","note":"280 pages, in french","category":"misc","numircyn":"B","publisher":"Ecole Centrale de Nantes","title":"Actes de l'école d'été MOVEP'98","year":"1998","bibtex":"@BOOK{cassez-movep-98,\n CLASS = {ed-book},\n EDITOR = {Franck Cassez and Jard, Claude and Roux, Olivier and Rozoy, Brigitte},\n KEYWORDS = {Informatique, v{\\'e}rification, sp{\\'e}cification},\n MONTH = JUN,\n LEX = {D},\n NOTE = {280 pages, in french},\n CATEGORY = {misc},\n NUMIRCYN = {B},\n PUBLISHER = {Ecole Centrale de Nantes},\n TITLE = {{Actes de l'\\'ecole d'\\'et\\'e MOVEP'98}},\n YEAR = {1998}\n}\n\n","editor_short":["Cassez, F.","Jard, C.","Roux, O.","Rozoy, B."],"key":"cassez-movep-98","id":"cassez-movep-98","bibbaseid":"cassez-jard-roux-rozoy-actesdelcoledtmovep98-1998","role":"editor","urls":{},"keyword":["Informatique","vérification","spécification"],"metadata":{"authorlinks":{}},"html":""},"search_terms":["actes","cole","movep"],"keywords":["informatique","vérification","spécification"],"authorIDs":[],"dataSources":["yYF8uwWqay28JyxZC"]}