Cited By
View all- Holzer AJanuzaj VKugele STautschnig M(2010)Timely time estimatesProceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I10.5555/1939281.1939287(33-46)Online publication date: 18-Oct-2010
- Holzer AJanuzaj VKugele STautschnig M(2010)Timely Time EstimatesLeveraging Applications of Formal Methods, Verification, and Validation10.1007/978-3-642-16558-0_5(33-46)Online publication date: 2010