Extended Computation Tree Logic.

Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte

Browse the full LPAR paper archive.