@inproceedings{essalhi:hal-01203649,
  TITLE = {{KriQL: a query language for the diagnosis of transition systems}},
  AUTHOR = {Es-Salhi, Khaoula and Boudaoud, Siham Rim and Teodorov, Ciprian and Drey, Zo{\'e} and Ribaud, Vincent},
  URL = {https://hal.science/hal-01203649},
  BOOKTITLE = {{15th International Workshop on Automated Verification of Critical Systems - AVOCS'15}},
  ADDRESS = {Edimburgh, United Kingdom},
  SERIES = {Pre-proceedings of the 15th International Workshop on Automated Verification of Critical Systems},
  PAGES = {151-165},
  YEAR = {2015},
  MONTH = Sep,
  KEYWORDS = {trace ; transition system ; query language},
  PDF = {https://hal.science/hal-01203649/file/KriQL_%20a%20query%20language%20for%20labelled%20transition%20systems.pdf},
  HAL_ID = {hal-01203649},
  HAL_VERSION = {v1},
}