Most recent publications
In The 19th International Teletraffic Congress (ITC19) Beijing, China. Beijing University of Posts and Telecommunications Press, 2005.
In 10th IEEE Symposium on Computers and Communications (ISCC 2005). Cartagena, Spain, June 27-30: IEEE Communications Society, 2005.
In Proceedings 14th IEEE Workshop on Local and Metropolitan Area Networks. Chania, Crete September 18-21: IEEE, 2005.
In Proceedings CompCon 1992. San Fransisco, 1992.
In Computer Aided Verification, 3rd International Workshop (CAV'91). Lecture Notes in Computer Science. Springer-Verlag, 1992.