[ÇØ¿ÜÁÖ¹®¿ø¼]
Formal Modeling and Analysis of Timed Systems (Paperback)
: Third International Conference, Formats 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science)
Pettersson, Paul/ Yi, Wang/ Formats 200 (2005 Uppsala, Sweden) ÀúISpringer-Verlag New York IncI2006.02.15
Áö±Ý ÁÖ¹®Çϸé, 7ÀÏ À̳» Ãâ°í¿¹Á¤ (¼¿ïƯº°½Ã °³²±¸ »ï¼º·Î 512 ±âÁØ)