@phdthesis{basesearch-976,
  title = {Verification of Component-based Embedded System Designs},
  author = {Daniel Karlsson},
  year = {2006},
  url = {https://www.base-search.net/Record/b210429a4c002a6433dcf074764511a01f97df2ec2c702a5578df0f9accc62ec},
  note = {base-search.net (ftlinkoepinguniv:oai:DiVA.org:liu-7473)},
  researchr = {https://researchr.org/publication/basesearch-976},
  cites = {0},
  citedby = {0},
  school = {Linköping University, Sweden},
}