Zhan Naijun

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
1EEZhan Naijun: Completeness of Higher-Order Duration Calculus. CSL 2000: 442-456

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Fri Oct 3 18:41:27 2008 by Michael Ley (ley@uni-trier.de)