Actions for Formal modeling and analysis of timed systems [electronic resource] : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings

View MARC record | catkey: 5795981