Search results
Theoretical Computer Science > 2014 > 538 > Complete > 140-166
Theoretical Computer Science > 2014 > 517 > Complete > 1-33
INTERACT-2010 > 147 - 153
IEEE/ACM Transactions on Networking > 2010 > 18 > 4 > 1091 - 1104
IEEE Transactions on Control Systems Technology > 2010 > 18 > 2 > 414 - 429
Fundamenta Informaticae > 2009 > Vol. 95, nr 1 > 1-29
IEEE Transactions on Software Engineering > 2008 > 34 > 5 > 614 - 632