Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007
DBLP:	db/conf/fsen/fsen2007.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 32  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell. Zone-Based Universality Analysis for Single-Clock Timed Automata.	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007	(0)	2007
	Conference paper Lucia Acciai, Michele Boreale. Type Abstractions of Name-Passing Processes.	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007	(0)	2007
	Conference paper Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Test Selection Criteria for Quantifier-Free First-Order Specifications.	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007	(0)	2007
	Conference paper Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre. Relationships Meet Their Roles in Object Oriented Programming.	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007	(0)	2007
	Conference paper Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro. Model Checking Temporal Metric Specifications with Trio2Promela.	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007	(0)	2007
	Conference paper Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. A Behavioural Congruence for Web Services.	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007	(0)	2007
	Conference paper Mario Bravetti, Gianluigi Zavattaro. Contract Based Multi-party Service Composition.	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007	(0)	2007
	Conference paper Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim. Slicing Abstractions.	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007	(0)	2007
	Conference paper Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan. A Model of Component-Based Programming.	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007	(0)	2007
	Conference paper Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang. Implication-Based Approximating Bounded Model Checking.	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007	(0)	2007

Show item 1 to 10 of 32  

Your query returned 32 matches in the database.