@inproceedings{837ef0344ca84d2c87d12e9059739202,
title = "Relating linear and branching model checking",
keywords = "Temporal Logic, Model checking",
author = "Orna Kupferman and Vardi, {Moshe Y.}",
year = "1998",
doi = "10.1007/978-0-387-35358-6_21",
language = "אנגלית",
isbn = "978-1-4757-6299-0",
series = "IFIP - The International Federation for Information Processing",
publisher = "Springer US",
pages = "304--326",
booktitle = "Programming Concepts and Methods, PROCOMET {\textquoteright}98",
address = "ארצות הברית",
}