@inproceedings{KV98a, author = "O. Kupferman and M.Y. Vardi", title = "Relating linear and branching model checking", booktitle = "{IFIP} Working Conference on Programming Concepts and Methods", address = "New York", month = "June", year = "1998" publisher = "Chapman \& {H}all", }