@inproceedings{6c3f282344c74e90a90d3e363b80b96c,
title = "A timed automata semantics for Real-Time UML specifications",
keywords = "ZX Int.klas.verslagjaar < 2002",
author = "WJ Toetenel and E Roubtsova and {van Katwijk}, J",
year = "2001",
language = "Undefined/Unknown",
isbn = "0-7695-0474-4",
publisher = "IEEE Society",
pages = "88--95",
booktitle = "Proceedings",
note = "2001 IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy ; Conference date: 05-09-2001 Through 07-09-2001",
}