HASLab - Palestras/ comunicações orais : [1] Statistics

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit date in descending order): 1 to 1 of 1
Issue DateTitleAuthor(s)TypeAccess
2012Towards specification and verification frameworks for concurrent real-time systemsPereira, David; Pedro, André Matos; Pinho, Luís Miguel, et al.LectureOpen access
Collection's Items (Sorted by Submit date in descending order): 1 to 1 of 1