@inproceedings{4ae4e38e41b84822b1254ba6d974eb9c,
title = "C{\^o}te de Resyste -- Automatic Model-Based Testing of Communication Protocols",
keywords = "EWI-6458, FMT-TOOLS, FMT-TESTING, IR-63286, METIS-203620",
author = "Axel Belinfante and Hendrik Brinksma and J. Feenstra and G.J. Tretmans and {de Vries}, R.G.",
year = "2001",
language = "Undefined",
isbn = "90-3651-546-7",
publisher = "Centre for Telematics and Information Technology (CTIT)",
pages = "49--51",
editor = "{Heemstra de Groot}, S.M.",
booktitle = "Mobile Communications in Perspective -- 7th Annual CTIT Workshop",
address = "Netherlands",
note = "null ; Conference date: 08-02-2001 Through 08-02-2001",
}