@inproceedings{QS08,
title = {Specification and Verification of Conurrent Systems in Cesar },
author = {Queille, Jean-Pierre and Sifakis, Joseph},
year = {2008},
booktitle = {25 Years of Model Checking - History, Achievements, Perspectives},
pages = {216-230},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5000},
team = {DCS, RSD},
}
