@inproceedings{leroux:hal-02434620,
  TITLE = {{Partially Bounded Context-Aware Verification}},
  AUTHOR = {Le Roux, Luka and Teodorov, Ciprian},
  URL = {https://hal.science/hal-02434620},
  BOOKTITLE = {{17th International Conference on Software Engineering and Formal Methods, SEFM 2019}},
  ADDRESS = {Oslo, Norway},
  VOLUME = {LNCS},
  NUMBER = {11724},
  PAGES = {532-548},
  YEAR = {2019},
  MONTH = Sep,
  DOI = {10.1007/978-3-030-30446-1\_28},
  KEYWORDS = {Model checking},
  PDF = {https://hal.science/hal-02434620/file/LeRoux2019.pdf},
  HAL_ID = {hal-02434620},
  HAL_VERSION = {v1},
}