Improving partial order reductions for universal branching time properties

Research output: Contribution to journal › Article › Academic › peer-review

Cite this

@article{30d882469a9d445f84d46acdf7d82543,

title = "Improving partial order reductions for universal branching time properties",

author = "W. Penczek and M. Szreter and R.T. Gerth and R. Kuiper",

year = "2000",

language = "English",

volume = "43",

pages = "245--267",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "SAGE Publications Ltd",

number = "1-4",

}