Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu 0002. Model Checking Optimisation Based Congestion Control Algorithms. Fundamenta Informaticae, 102(1):77-96, 2010. [doi]
@article{LomuscioSWW10, title = {Model Checking Optimisation Based Congestion Control Algorithms}, author = {Alessio Lomuscio and Ben Strulo and Nigel G. Walker and Peng Wu 0002}, year = {2010}, doi = {10.3233/FI-2010-298}, url = {http://dx.doi.org/10.3233/FI-2010-298}, tags = {rule-based, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/LomuscioSWW10}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {102}, number = {1}, pages = {77-96}, }