Publications of Michael Bauland sorted by first author
B
| , , , , and , The tractability of model checking for LTL: The good, the bad, and the ugly fragments (2011), in: ACM Transactions on Computational Logic, 12:2(13:1--13:28) |
| , , , , and , The tractability of model checking for LTL: The good, the bad, and the ugly fragments (2011), in: ACM Transactions on Computational Logic, 12:2(13:1--13:28) |