Approximations for fixpoint computations in symbolic model chec king

Roderick Paul Bloem, I.-H. Moon, K. Ravi, F. Somenzi

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

Original languageEnglish
Title of host publicationWorld Multiconference on Systemics, Cybernetics and Informatics
Publisher.
Pages701-706
Publication statusPublished - 2000

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Bloem, R. P., Moon, I-H., Ravi, K., & Somenzi, F. (2000). Approximations for fixpoint computations in symbolic model chec king. In World Multiconference on Systemics, Cybernetics and Informatics (pp. 701-706). ..

Approximations for fixpoint computations in symbolic model chec king. / Bloem, Roderick Paul; Moon, I.-H.; Ravi, K.; Somenzi, F.

World Multiconference on Systemics, Cybernetics and Informatics. ., 2000. p. 701-706.

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

Bloem, RP, Moon, I-H, Ravi, K & Somenzi, F 2000, Approximations for fixpoint computations in symbolic model chec king. in World Multiconference on Systemics, Cybernetics and Informatics. ., pp. 701-706.
Bloem RP, Moon I-H, Ravi K, Somenzi F. Approximations for fixpoint computations in symbolic model chec king. In World Multiconference on Systemics, Cybernetics and Informatics. . 2000. p. 701-706
Bloem, Roderick Paul ; Moon, I.-H. ; Ravi, K. ; Somenzi, F. / Approximations for fixpoint computations in symbolic model chec king. World Multiconference on Systemics, Cybernetics and Informatics. ., 2000. pp. 701-706
@inproceedings{dfba8127ccb14c56af20f0571817215e,
title = "Approximations for fixpoint computations in symbolic model chec king",
author = "Bloem, {Roderick Paul} and I.-H. Moon and K. Ravi and F. Somenzi",
note = "Volume VIII, Part II",
year = "2000",
language = "English",
pages = "701--706",
booktitle = "World Multiconference on Systemics, Cybernetics and Informatics",
publisher = ".",

}

TY - GEN

T1 - Approximations for fixpoint computations in symbolic model chec king

AU - Bloem, Roderick Paul

AU - Moon, I.-H.

AU - Ravi, K.

AU - Somenzi, F.

N1 - Volume VIII, Part II

PY - 2000

Y1 - 2000

M3 - Conference contribution

SP - 701

EP - 706

BT - World Multiconference on Systemics, Cybernetics and Informatics

PB - .

ER -