Jan-Willem Roorda

Own Thesis
Related Theses

Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation.

J. Roorda. Chalmers University of Technology, Gothenburg, Sweden, (2006)base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:24341).

Doctoral advisor:
First reviewer:

Reviewer:
Advisor:
Author: Jan-Willem Roorda
Editor:
Other:

No resources found

Publications 0
Other Publications of same named Authors

BibSonomy

Jan-Willem Roorda

sort by
added at
title
author
publication date
entry type

BibSonomy

Jan-Willem Roorda

sort byadded attitleauthorpublication dateentry type

sort by
added at
title
author
publication date
entry type