Search Techniques and Automata for Symbolic Model Checking

Research output: ThesisDoctoral ThesisResearch

Original languageEnglish
Publication statusPublished - 2001

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Search Techniques and Automata for Symbolic Model Checking. / Bloem, Roderick Paul.

2001.

Research output: ThesisDoctoral ThesisResearch

@phdthesis{4bbc5845d04747b4a8049597c445a16b,
title = "Search Techniques and Automata for Symbolic Model Checking",
author = "Bloem, {Roderick Paul}",
year = "2001",
language = "English",

}

TY - THES

T1 - Search Techniques and Automata for Symbolic Model Checking

AU - Bloem, Roderick Paul

PY - 2001

Y1 - 2001

M3 - Doctoral Thesis

ER -