LEADER 01244nam  2200409   450 
001 9910814284803321
005 20230802001529.0
010   $a3-7369-4056-4
035   $a(CKB)4340000000197221
035   $a(MiAaPQ)EBC5019245
035   $a(EXLCZ)994340000000197221
100   $a20171002h20122012  uy             0
101 0 $ager
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aPetri-Netz basierte verifikation von funktionalen testfa?llen /$fSebastian Thiel
210  1$aGo?ttingen, [Germany] :$cCuvillier Verlag,$d2012.
210  4$dİ2012
215   $a1 online resource (227 pages) $cillustrations, tables
225 0 $aAudi Dissertationsreihe ;$vBand 57
311   $a3-95404-056-5 
320   $aIncludes bibliographical references.
606   $aPetri nets
606   $aAutomatic control$vCase studies
615  0$aPetri nets.
615  0$aAutomatic control
676   $a005.1015115
700   $aThiel$b Sebastian$01699004
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910814284803321
996   $aPetri-Netz basierte verifikation von funktionalen testfa?llen$94080926
997   $aUNINA