?
A Reduction-based Approach Towards Scaling Up Formal Analysis of Internet Configurations
P. 637-645.
Щедров А., Wang A., Gurney A. J., Han X., Cao J., Thau Loo B., Talcott C.
Язык:
английский