关注微信公众号查券更方便
【4周达】Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint Interna... [9783540231677]