73RD CONFERENCE ON GLASS PROBLEMS ACOLLECTION OF PAPERS PRESENTED AT THE 73RD CONFERENCE ON GLASS PR
CINCINNATI OHIO OCTOBER 1-3 20122013 年出版267 页ISBN:1118686638
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN: