Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Subject : specification

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Models for Reactivity

Authors : Zohar Manna; Amir Pnueli; The Pennsylvania State University CiteSeerX Archives

Subjects: Temporal logic; reactive systems; real-time

Source: http://theory.stanford.edu/people/zm/papers/pap-models94acta.ps.Z.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Models for Reactivity

Authors : Zohar Manna; Amir Pnueli; The Pennsylvania State University CiteSeerX Archives

Subjects: Temporal logic; reactive systems; real-time

Source: ftp://ftp.wisdom.weizmann.ac.il/pub/amir/models-reactivity.ps.gz

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي