LEADER 01091nam a2200313 i 4500
001 991001477609707536
005 20020507194201.0
008 951017s1982    de            ||| | eng  
020   $a3540112057
035   $ab10852888-39ule_inst
035   $aLE01312851$9ExL
040   $aDip.to Matematica$beng
082 0 $a001.642
084   $aAMS 68M15
100 1 $aHailpern, Brent T.$0537323
245 10$aVerifying concurrent processes using temporal logic /$cBrent T. Hailpern
260   $aBerlin :$bSpringer-Verlag,$c1982
300   $aviii, 208 p. :$bill. ;$c25 cm.
500   $aBibliography: p. [203]-208.
500   $aIncludes index
650  4$aComputer programs
650  4$aParallel processing
650  4$aReliability
907   $a.b10852888$b21-09-06$c28-06-02
912   $a991001477609707536
945   $aLE013 68M HAI11 (1982)$g1$i2013000037646$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10964472$z28-06-02
996   $aVerifying concurrent processes using temporal logic$9918324
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$gde $h0$i1