MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ron Koymans" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks
by Jacob Brunekreef, Joost-pieter Katoen, Ron Koymans, Sjouke Mauw — 1996 — Distributed Computing
…-Pieter Katoen Dept. of Computing Science, University of Twente Enschede, The Netherlands Ron Koymans Philips…
Cited by 3 (0 self) – Add To MetaCart

Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks
by Jacob Brunekreef, Joost-pieter Katoen, Ron Koymans, Sjouke Mauw — 1996 — Distributed Computing
…, The Netherlands katoen@(email omitted); Ron Koymans Philips Research Laboratories P.O. Box 80.000, 5600 JA…
Cited by 15 (2 self) – Add To MetaCart

A Two-Level Approach to Automated Conformance Testing of VHDL Designs
by Jean Moonen, Judi Romijn, Olaf Sies, Loe Feijs, Ron Koymans — 1997
…@(email omitted); Ron Koymans Philips Research Laboratories Eindhoven koymans@(email omitted); ABSTRACT…
Add To MetaCart

A Two-Level Approach to Automated Conformance Testing
by Of Vhdl Design, J. Moonen, J. Romijn, O. Sies, J. Springintveld, L. Feijs, Jean Moonen, Judi Romijn, Loe Feijs, Ron Koymans
…;5 , Ron Koymans 5 . 1 Computing Science Department, Eindhoven University of Technology. E-mail: feijs…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB