LEADER 01211oam  2200325zu 450 
001 996210754003316
005 20210807000327.0
035   $a(CKB)1000000000021638
035   $a(SSID)ssj0000451507
035   $a(PQKBManifestationID)12147922
035   $a(PQKBTitleCode)TC0000451507
035   $a(PQKBWorkID)10460241
035   $a(PQKB)10996861
035   $a(EXLCZ)991000000000021638
100   $a20160829d2003      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aEngineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2003
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-1917-2 
676   $a620/.001/171
712 02$aIEEE Computer Society.$bTechnical Committee on the Engineering of Computer Based Systems
801  0$bPQKB
906   $aPROCEEDING
912   $a996210754003316
996   $aEngineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On$92369169
997   $aUNISA