q=ifip+tg%2Fwg+6.1+internatioanl+conference+on+formal+description+techniques+for+distributed+systems+and+communications+protocols&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&curlibcode=XT&searchWay0=marc&logical0=AND
rows=10&curlibcode=XT&searchWay0=marc&logical0=AND
ifip tg/wg 6.1 internatioanl conference on formal description techniques for distributed systems and communications protocols