01098nam--2200349---450-9900003507602033160035076USA010035076(ALEPH)000035076USA01003507620010307d1982----km-y0itay0103----baengDE||||||||001yyVerifing concurrent processes using temporal logicBrent T. HailpernBerlinSpringer Verlag1982VIII, 208 p.graf.24 cmLecture notes in computer science1292001Lecture notes in computer science129001.642HAILPERN,Brent T.537323ITsalbcISBD990000350760203316001 LNCS 1290002816 CBS00100101515BKSCITAMI4020010307USA011055ALANDI9020010319USA01114220020403USA011643PATRY9020040406USA011624Verifing concurrent processes using temporal logic878442UNISA