00804nam0-22002891i-450099000132267040332120170214153019.03-540-51803-7000132267FED01000132267(Aleph)000132267FED0100013226720000920d1989----km-y0itay50------baengTemporal Logic in SpecificationAltrincam, UK, april 1987BerlinSpringer-Verlag1989.vi, 448 p.24 cmLecture notes in computer science398Banieqbal,B.ITUNINARICAUNIMARCBK990001322670403321C-16-(3986934MA1MA1Temporal Logic in Specification383027UNINAING01