00961nam0-2200337---450-99000874958040332120081106162529.0978-3-540-67401-6000874958FED01000874958(Aleph)000874958FED0100087495820081106d2008----km-y0itay50------baengDEa---a---001yyTemporal logic and state systemsFred Kröger, Stephan MerzBerlin [etc.]Springerc2008XI, 433 p.ill.24 cmText in theoretical computer sciencean EATCS seriesLogicaRicorsivitàKröger,Fred503991Merz,Stephan503992ITUNINARICAUNIMARCBK9900087495804033217-316D.S.F. 9075FI1FI1Temporal logic and state systems719735UNINA