Research Output 1992 2018

Filter
Other contribution
1993

Performance Analysis and True Concurrency Semantics

Katoen, J. P. 3 Nov 1993 Iowa-City, U.S.A.

Research output: Other research outputOther contribution

Proposal for a new Modelling Concept: the Functional Architecture

van den Broek, W., Lensink, A. & Katoen, J. P. 14 Feb 1993

Research output: Other research outputOther contribution

Proposal for a UMTS Functional Architecture

van den Broek, W., Lensink, A. & Katoen, J. P. 14 Feb 1993

Research output: Other research outputOther contribution

Specification, Design and Verification of Dynamic Leader Election Protocols in a Broadcast Network

Katoen, J. P. 18 Oct 1993 De Lutte, Nederland

Research output: Other research outputOther contribution

Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network

Katoen, J. P. 9 Mar 1993 Mierlo, Nederland

Research output: Other research outputOther contribution

UMTS Functional Model

Katoen, J. P. & Kremer, H. H. C. 28 Feb 1993

Research output: Other research outputOther contribution

UMTS Network Architecture

Katoen, J. P. & Kremer, H. H. C. 30 Jun 1993

Research output: Other research outputOther contribution