Computer, Vol. 40, No. 11. (2007), pp. 74-80.
Computer, Vol. 40, No. 11. (2007), pp. 38-45.
(2008)
(2008), pp. 67-78.
(2004), pp. 340-341.
(2002), pp. 227-234.
(2005)
Journal of Systems and Software, Vol. to appear (2008)
Vol. 4880 (July 2007), pp. 145-163.
(AprilJanuary--April 2008), pp. 93-102.
Vol. 121, No. 121. (FebruaryJanuaryAugust--FebruaryFebruary 2008), pp. 140-154.
(2008), pp. 13-24.
(2007), pp. 159-166.
(August 1999)
(April 2005)
(2007)
(2007)
Vol. 5119 (2008)
Vol. 5119 (2008)
Vol. 5119 (2008)
Vol. 5119 (2008)
(2008)
Vol. 5119 (2008), pp. 9-28.
(2007), pp. 13-23.
Vol. 4574 (2007), pp. 247-262.
Vol. 3516 (2005), pp. 275-278.
(September 2008)
(2007)
iX - Magazin fuer professionelle Informationstechnik, No. 2. (February 2008)
(May 2008)
(2005), pp. 471-479.
(October 2003)
(2006), pp. 520-523.
Software Testing, Verification and Reliability, Vol. 13, No. 4. (2003), pp. 229-240.
(2002), pp. 645-654.
(March 2006)
International Transactions on Systems Science and Applications, Vol. Volume 3, Number 3 (October 2007)
(May 2006), pp. 684-691.
Concurrency and Computation: Practice and Experience, Vol. 17, No. 12. (October 2005), pp. 1507-1526.
(2001), pp. 1-14.
Managing Traffic Performance in Converged Networks (2007), pp. 192-203.
(2006)
Component-Based Software Engineering (2005), pp. 1-16.
(2006)
SIGMETRICS Perform. Eval. Rev., Vol. 34, No. 1. (June 2006), pp. 367-368.
(2004)
(2006), pp. 441-444.
(2004)
Vol. 3460 (2005)
(July 2007)