q=%E5%85%8B%E6%8B%89%E5%85%8B%2Cedmund+m.+clarke%2C%E6%A0%BC%E4%BC%A6%E8%B4%9D%E6%A0%BC%2Corna+grumberg%2C%E4%BD%A9%E8%8E%B1%E5%BE%B7%2Cdoron+a.+peled&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
克拉克,edmund m. clarke,格伦贝格,orna grumberg,佩莱德,doron a. peled