@inproceedings{BGS-concur12,
  title = "A~Comparison of Succinctly Represented Finite-State Systems",
  author = "Brenguier, Romain and G{\"o}ller, Stefan and Sankur, Ocan",
  year = "2012",
  address = "Newcastle, UK",
  booktitle = "{P}roceedings of the 23rd {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'12)",
  month = "sep",
  pages = "147-161",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BGS-concur12.pdf",
  volume = "7454",
  doi = "10.1007/978-3-642-32940-1_12",
}