Pengarang

Xu Qiwen;

Judul

Semantics and verification of extended phase transition systems in duration calculus, (LNCS-Lecture Notes in Computer Science 1201) Hal 301-315

Judul Artikel

Nama Prosiding

Hybrid and real-time systems: international workshop, Hart'97 Grenoble, France, March 26-28, 1997 Proceedings

Bahasa

Eng

No. Seri

Lecture Notes in Computer Science 1201

Abstrak English

Penerbitan

Springer, 1997

Kata Kunci

Tahun

1997

Subjek

No. Panggil

004.33 Mal h