01739nam2-2200469li-450 99000020907020331620180312154628.03-540-66499-80020907USA010020907(ALEPH)000020907USA01002090720001109d1999----km-y0itay0103----baengGWTheoretical and practical aspects of SPIN model checking5th and 6th International SPIN workshopTrento, Italy, July 5, 1999: Tolosa, France, September 21 and 24, 1999proceedingsDennis Dams ...[et al.] (eds.)BerlinoSpringer-Verlagcopyr. 1999VI; 276 p.ill.22 cmLecture notes in computer science168000100202642001Lecture notes in computer science1680Elaboratori elettroniciProgrammazioneCongressi1999SPINCongressi1999CongressiTolosa1999005.2Dams,DennisInternational SPIN workshops <5. ; Trento ; 1999>745574International SPIN workshops <6. ; Tolosa ; 1999>ITCBSISBD990000209070203316001 LNCS (1680)0024054 CBS00100100930BKSCI1999102820001110USA011714ALANDI9020010612USA011055ALANDI9020010612USA011128ALANDI9020010612USA011136ALANDI9020010612USA01114220020403USA011629PATRY9020040406USA011615Theoretical and practical aspects of SPIN model checking1487139UNISA