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 proceeding › Conference paper › peer-review

Original language	English
Title of host publication	World Multiconference on Systemics, Cybernetics and Informatics
Publisher	.
Pages	701-706
Publication status	Published - 2000

Treatment code (Nähere Zuordnung)

@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 = ".",

}