Abstraction Techniques for Symbolic Model Checking of Infinite-state Discrete and Continuous Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Sergio Mover. Abstraction Techniques for Symbolic Model Checking of Infinite-state Discrete and Continuous Systems. 2024. [doi]

@book{Mover24,
  title = {Abstraction Techniques for Symbolic Model Checking of Infinite-state Discrete and Continuous Systems},
  author = {Sergio Mover},
  year = {2024},
  url = {https://tel.archives-ouvertes.fr/tel-04608760},
  researchr = {https://researchr.org/publication/Mover24},
  cites = {0},
  citedby = {0},
}

runs on WebDSL