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