@MISC{cassez-etr-03,
  AUTHOR = {Cassez, Franck},
  HOWPUBLISHED = {Actes de l'\'ecole d'\'et\'e ETR'03},
  XXMONTH = SEP,
  urlpaper = {papers/verif-qualit-etr-03.pdf},
  urlslides = {papers/slides-etr-03.pdf},
  keywords = {verification, logics},
  TITLE = {{V\'erification qualitative -- {Model-Checking} et Logiques Temporelles}},
  YEAR = {2003},
abstract = {In this paper we give a quick overview of the area of modelling and verification of concurrent systems. We take transition systems as the basic model of concurrent systems, and introduce the temporal logics LTL and CTL. Moreover we give some hints for the model-checking algorithms for LTL and CTL.},
Type = {E - Reports},
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% 2002
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

{"_id":"DkZeJ9jjx5jNsaqDe","bibbaseid":"cassez-vrificationqualitativemodelcheckingetlogiquestemporelles-2003","author_short":["Cassez, F."],"bibdata":{"bibtype":"misc","type":"E - Reports","author":[{"propositions":[],"lastnames":["Cassez"],"firstnames":["Franck"],"suffixes":[]}],"howpublished":"Actes de l'école d'été ETR'03","xxmonth":"September","urlpaper":"papers/verif-qualit-etr-03.pdf","urlslides":"papers/slides-etr-03.pdf","keywords":"verification, logics","title":"Vérification qualitative – Model-Checking et Logiques Temporelles","year":"2003","abstract":"In this paper we give a quick overview of the area of modelling and verification of concurrent systems. We take transition systems as the basic model of concurrent systems, and introduce the temporal logics LTL and CTL. Moreover we give some hints for the model-checking algorithms for LTL and CTL.","bibtex":"@MISC{cassez-etr-03,\n AUTHOR = {Cassez, Franck},\n HOWPUBLISHED = {Actes de l'\\'ecole d'\\'et\\'e ETR'03},\n XXMONTH = SEP,\n urlpaper = {papers/verif-qualit-etr-03.pdf},\n urlslides = {papers/slides-etr-03.pdf},\n keywords = {verification, logics},\n TITLE = {{V\\'erification qualitative -- {Model-Checking} et Logiques Temporelles}},\n YEAR = {2003},\nabstract = {In this paper we give a quick overview of the area of modelling and verification of concurrent systems. We take transition systems as the basic model of concurrent systems, and introduce the temporal logics LTL and CTL. Moreover we give some hints for the model-checking algorithms for LTL and CTL.},\nType = {E - Reports},\n}\n\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n%%% 2002\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n\n","author_short":["Cassez, F."],"key":"cassez-etr-03","id":"cassez-etr-03","bibbaseid":"cassez-vrificationqualitativemodelcheckingetlogiquestemporelles-2003","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/verif-qualit-etr-03.pdf","Slides":"http://science.mq.edu.au/~fcassez/bib/papers/slides-etr-03.pdf"},"keyword":["verification","logics"],"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":["verification","logics"],"search_terms":["rification","qualitative","model","checking","logiques","temporelles","cassez"],"title":"Vérification qualitative – Model-Checking et Logiques Temporelles","year":2003}