TY - GEN

AU - Banieqbal, Behnam

AU - Barringer, Howard

TI - Temporal Logic in Specification: Temporal logic with fixed points

PB - Springer Berlin Heidelberg

SN - 0302-9743

SN - 1611-3349

PY - 1989

UR - http://slubdd.de/katalog?TN_libero_mab2

ER -

Download citation