首页>外文会议>计算机、自动化>Formal Techniques for Networked and Distributed Systems(FORTE) 2004 Workshops: The FormEMC: 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, EPEW: 1st European Performance Engineering Workshop, ITM: 1st Inte
Formal Techniques for Networked and Distributed Systems(FORTE) 2004 Workshops: The FormEMC: 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, EPEW: 1st European Performance Engineering Workshop, ITM: 1st Inte