@conference{475932a09cb443b1885b0fcded9e5d4f,
title = "Testing Deadlock-freeness in Real-time Systems: A Formal Approach",
keywords = "communication protocol, Real-time system, rational, Presburger sentences, testing, Timed Automata, deadlock",
author = "Behzad Bordbar and K Okano and J Grabowski and B Nielsen",
year = "2005",
month = mar,
day = "1",
doi = "10.1007/b106767",
language = "English",
pages = "95--109",
note = "Formal Approaches to Software Testing, 4th International Workshop, (FATES 2004), Linz, Austria, September 21, 2004, Revised Selected Papers ; Conference date: 01-03-2005",
}