KRÖGER, Fred - MERZ, Stephan. Temporal logic and state systems. Softcover reprint of the hardcover 1st edition. Berlin ; Heidelberg : Springer, 2008. Texts in theoretical computer science : an EATCS series. ISBN 978-3-642-08680-9.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.