LEADER 01824nam a2200385 i 4500
001 991000776179707536
005 20020507173432.0
008 990201s1991    us            ||| | eng  
020   $a0821865943 (AMS : alk. paper)
020   $a0897913868 (ACM : alk. paper)
035   $ab10755597-39ule_inst
035   $aLE01302134$9ExL
040   $aDip.to Matematica$beng
082 0 $a621.3815
084   $aAMS 68-06
084   $aAMS 68M15
084   $aAMS 68Q05
084   $aAMS 68Q60
111 2 $aDIMACS workshop on computer-aided verification <1990 ; Center for discrete mathematics and theoretical computer science>$0534969
245 10$aComputer-aided verification '90 :$bproceedings of a DIMACS workshop, June 18-21, 1990 /$cE. M. Clarke, R. P. Kurshan, editors
260   $aProvidence, RI :$bAmerican Mathematical Society ; Baltimore, Md : Association for Computing Machinery,$cc1991
300   $axii, 628 p. :$bill. ;$c27 cm
490 0 $aDIMACS series in discrete mathematics and theoretical computer science,$x1052-798 ;$v3
500   $a"The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990": T.p. verso.
500   $aIncludes bibliographical references
650  4$aComputer$xAided design$xCongresses
650  4$aDigital integrated circuits-Design and construction-Data processing$xCongresses
700 1 $aClarke, Edmund M.
700 1 $aKurshan, R. P.
907   $a.b10755597$b23-02-17$c28-06-02
912   $a991000776179707536
945   $aLE013 68-XX CLA12 (1991)$g1$i2013000111445$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i1084983x$z28-06-02
996   $aComputer-aided verification '90$9911166
997   $aUNISALENTO
998   $ale013$b01-01-99$cm$da  $e-$feng$gus $h0$i1