01211oam 2200325zu 450 99621075400331620210807000327.0(CKB)1000000000021638(SSID)ssj0000451507(PQKBManifestationID)12147922(PQKBTitleCode)TC0000451507(PQKBWorkID)10460241(PQKB)10996861(EXLCZ)99100000000002163820160829d2003 uy engtxtccrEngineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On[Place of publication not identified]IEEE Computer Society Press2003Bibliographic Level Mode of Issuance: Monograph0-7695-1917-2 620/.001/171IEEE Computer Society.Technical Committee on the Engineering of Computer Based SystemsPQKBPROCEEDING996210754003316Engineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On2369169UNISA