Wyniki wyszukiwania
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 292-308
Lecture Notes in Computer Science > Computer Performance Engineering > Stochastic Process Algebra and SANs > 95-109
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 485-496
Theoretical Computer Science > 2015 > 563 > Complete > 99-143
Electronic Notes in Theoretical Computer Science > 2013 > 296 > Complete > 229-252
IEEE Transactions on Software Engineering > 2013 > 39 > 1 > 97 - 118
Theoretical Computer Science > 2012 > 413 > 1 > 106-141
Formal Aspects of Computing > 2012 > 24 > 2 > 267-302
Natural Computing > 2011 > 10 > 1 > 447-466
Performance Evaluation > 2010 > 67 > 8 > 740-756
Theoretical Computer Science > 2010 > 411 > 22-24 > 2260-2297