1
出版 2010
書本目錄: ...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...
獲取全文
電子 電子書