author = { May, Wolfgang AND Schmitt, Peter H. },

title = { A tableau calculus for first-order branching time logic },

keywords = { DATA processing & computer science },

year = {2008-01-16},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }