Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN:
SIGCOMM'88 SYMPSIUM Communications Architectures & Protocols Stanford
the Association for Computing Machinery1988 年出版0 页ISBN:
A SECOND CONFERENCE ON SOFTWARE DEVELOPMENT TOOLS
THE ASSOCIATION FOR COMPUTING MACHINERY1985 年出版0 页ISBN: