cvb.authors: ''
cvb.fail: null
cvb.id: null
cvb.pages: 419-435
cvb.pdf_name: 32_MichalKnapik_article.pdf
cvb.title: Bounded Model Checking for Parametric Timed Automata
cvb.vol_number: 827
dblp.authors:
- dblp_author_id: https://dblp.org/pid/08/8621
  gnd_id: null
  label: Michal Knapik
  orcid_id: 0000-0003-3259-9786
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/58/2583
  gnd_id: '1097400956'
  label: Wojciech Penczek
  orcid_id: 0000-0001-6477-4863
  wikidata_id: Q62056917
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/acsd/2010w
dblp.dblp_publication_id: https://dblp.org/rec/conf/acsd/KnapikP10
dblp.pdf_id: Vol-827/32_MichalKnapik_article
dblp.title: Bounded Model Checking for Parametric Timed Automata.
dblp.volume_number: 827
spt.description: null
spt.html_url: /None.html
spt.id: null
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-827/32_MichalKnapik_article.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: Bounded Model Checking for Parametric Timed Automata
spt.volume:
  acronym: RAPNeC-2010
  date: '2012-01-26'
  dblp: conf/acsd/2010w
  description: Proceedings of RAPNeC-2010 workshop
  k10plus: null
  number: 827
  title: Proceedings of the Workshops of the 31st International Conference on Application
    and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and
    of the 10th International Conference on Application of Concurrency to System Design
    (ACSD 2010)
  url: http://ceur-ws.org/Vol-827/
  urn: urn:nbn:de:0074-827-8
  wikidataid: Q113547266
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
