01882cam a22004817a 45000010008000000030004000080050017000120060019000290070015000480080041000630150008001040160022001120200035001340200015001690350026001840400068002100420014002780820021002920840009003130840009003220840008003311110043003392100047003822450231004292460014006602460017006742600044006913000031007354900101007665040051008675060043009186500048009616500049010096500041010586500070010996500025011696550019011947000025012137000026012387730050012648300047013148300039013617919704OSt20150408113915.0m        d        cr  n         110828s2009    gw a   |sb    101 0 eng d  2dnb7 a9927515352DE-101  a9783642004308 (acidfree paper)  a364200430X  a(WaSeSS)ssj0000318967  aZCUbengcدار اجنادينdGBVCPdDEBBGdOCLdDLCdWaSeSS  alccopycat00a006.3221bM O M  2stub  2stub  2rvk2 aMoChArt 2008d(2008 :cPatrai, Greece)10aModel Checking and Artificial Intelligence10aModel Checking and Artificial Intelligenceh[electronic resource] :b5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers /cDoron A. Peled, Michael J. Wooldrige (eds.).3 aMoChArt 53 aMoChArt five  aBerlin ;aNew York :bSpringer,cc2009.  a188 p. :bills. ;c24 c.m.1 aLecture notes in computer science,x0302-9743 ;v5348.aLecture notes in artificial intelligence  aIncludes bibliographical references and index.  aLicense restrictions may limit access. 0aComputer systemsxVerificationvCongresses. 0aComputer softwarexVerificationvCongresses. 0aArtificial intelligencevCongresses. 4aKünstliche IntelligenzxModel CheckingvKongresszPatras <2008>07aModel Checking.2swd 7aKongress.2swd1 aPeled, Doron,d1962-1 aWooldrige, Michael J. 0tSpringerLink ebooks - Computer Science (2009) 0aLecture notes in computer science ;v5348. 0aLecture notes in computer science.