Objective: in Minimum Context

Salvador Abreu, Catuscia Palamidessi, Daniel Diaz,

URL	http://dblp.uni-trier.de
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	2916
ISBN	3-540-20642-6
URL	http://dblp.uni-trier.de
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	2916
ISBN	3-540-20642-6

Publication