Jump to main content

yr 〜
yr

Search results 2

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.). (Lecture notes in computer science)

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5389>
National Diet Library
  • Note (General)Based on papers presented at the Colloquium on Temporal Logic in Specification.
  • Author Heading...51- Pnueli, A. Colloquium on Temporal Logic in Specification (1987 : Altrincham, England)

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings : gw : us

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings : gw : us
Paper図書
B. Banieqbal, H. Barringer, A. Pnueli (eds.)Springer-Verlagc1989
Other Libraries in Japan
  • Note (General)...esented at the Colloquium on Temporal Logic in Specification Includes bibliographical refe...
  • Author HeadingBanieqbal, Behnam Barringer, Howard Pnueli, A. (Amir) Colloquium on Temporal Logic in Specification

Reached to the end of result.

RSS