Bounded model checking for asynchronous concurrent systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Manitra Rakotoarisoa. Bounded model checking for asynchronous concurrent systems. PhD thesis, Polytechnic University of Catalonia, Spain, 2014. [doi]

@phdthesis{es-1871,
  title = {Bounded model checking for asynchronous concurrent systems},
  author = {Manitra Rakotoarisoa},
  year = {2014},
  url = {http://hdl.handle.net/10803/144621},
  researchr = {https://researchr.org/publication/es-1871},
  cites = {0},
  citedby = {0},
  school = {Polytechnic University of Catalonia, Spain},
}

runs on WebDSL