doi:[removed]j.infsof[removed]

First Page		Document Content
Date: 2007-05-24 06:21:55 Academic publishing Bibliometrics IEEE Transactions on Software Engineering Institute of Electrical and Electronics Engineers Software engineering Impact factor Citation index Citation IEEE Software Publishing Academia Knowledge		doi:[removed]j.infsof[removed] Add to Reading List Source URL: www.cloudbus.org Download Document from Source Website File Size: 146,48 KB Share Document on Facebook

	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce DocID: 1xVM2 - View Document
	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus DocID: 1xUrQ - View Document
	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. X, NO. X, MONTHA Multi-Site Joint Replication of a Design Patterns Experiment using Moderator Variables DocID: 1v4uE - View Document
	Call for Papers IEEE Transactions on Software Engineering Special Issue on Mining Software Repositories IEEE Transactions on Software Engineering is seeking original manuscripts for a Special Issue on Mining Software Rep DocID: 1uYHq - View Document
	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 An Efficient Algorithm for Aggregating PEPA Models DocID: 1uMbe - View Document