Fair simulation minimization

Roderick Paul Bloem, S. Gurumurthy, F. Somenzi

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Computer Aided Verification
PublisherSpringer
Pages610-623
Publication statusPublished - 2002

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application

Cite this

Bloem, R. P., Gurumurthy, S., & Somenzi, F. (2002). Fair simulation minimization. In International Conference on Computer Aided Verification (pp. 610-623). Springer.

Fair simulation minimization. / Bloem, Roderick Paul; Gurumurthy, S.; Somenzi, F.

International Conference on Computer Aided Verification. Springer, 2002. p. 610-623.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Gurumurthy, S & Somenzi, F 2002, Fair simulation minimization. in International Conference on Computer Aided Verification. Springer, pp. 610-623.
Bloem RP, Gurumurthy S, Somenzi F. Fair simulation minimization. In International Conference on Computer Aided Verification. Springer. 2002. p. 610-623
Bloem, Roderick Paul ; Gurumurthy, S. ; Somenzi, F. / Fair simulation minimization. International Conference on Computer Aided Verification. Springer, 2002. pp. 610-623
@inproceedings{7e32aa6ef3f94b7e950d7e028ed5e74d,
title = "Fair simulation minimization",
author = "Bloem, {Roderick Paul} and S. Gurumurthy and F. Somenzi",
note = "LNCS 2404",
year = "2002",
language = "English",
pages = "610--623",
booktitle = "International Conference on Computer Aided Verification",
publisher = "Springer",

}

TY - GEN

T1 - Fair simulation minimization

AU - Bloem, Roderick Paul

AU - Gurumurthy, S.

AU - Somenzi, F.

N1 - LNCS 2404

PY - 2002

Y1 - 2002

M3 - Conference contribution

SP - 610

EP - 623

BT - International Conference on Computer Aided Verification

PB - Springer

ER -