01407nam2-2200397li-450 99000020683020331620180312154713.03-540-60761-70020683USA010020683(ALEPH)000020683USA01002068320001109d1996----km-y0itay0103----baengGWPartial-order methods for the verification of concurrent systemsan approach to the state-explosionproblemPatrice GodefroidBerlin [etc.]Springer-Verlagcopyr. 1996142 p.ill.23 cmLecture notes in computer science103200100202642001Lecture notes in computer scienceprogrammazione (informatica)softwareverifica0051Programmazione. Tecnica di sviluppo dei programmiGodefroid,Patrice746741Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206830203316001 LNCS (1032)001901000100103829BKSCI1996102520001110USA011714ALANDI9020010201USA01100320020403USA011628PATRY9020040406USA011615Partial-order methods for the verification of concurrent systems1490889UNISA