LEADER 01539nam2-2200421li-450 001 990000206290203316 005 20180312154712.0 010 $a3-540-63139-9 035 $a0020629 035 $aUSA010020629 035 $a(ALEPH)000020629USA01 035 $a0020629 100 $a20001109d1997----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aApplication and theory of Petri nets 1997$e18th International conference, ICATPN'97$eToulouse, France, June 23-27, 1997$eproceedings$fPierre Azema ... [et al.] (eds.) 210 $aBerlin$cSpringer-Verlag$dcopyr. 1997 215 $aVIII, 426 p.$cill.$d23 cm 225 2 $aLecture notes in computer science$v1248 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$atolosa$a1997 610 1 $areti di elaboratori$acongressi$a1997 610 1 $areticoli di petri$acongressi$a1997 676 $a5113$9Logica simbolica (Logica matematica) 702 1$aAzema,$bPierre 710 12$aInternational conference ICATPN'97$d18.$eTolosa$f1997$0746705 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000206290203316 951 $a001 LNCS (1248)$b0020854$c001$d00104011 959 $aBK 969 $aSCI 979 $c19971116 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010202$lUSA01$h1309 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aApplication and theory of Petri nets 1997$91490835 997 $aUNISA