Searching for authors named "Peter van Eijk" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Tools for LOTOS Specification Style Transformation
- …Tools for LOTOS Specification Style Transformation Peter van Eijk University of Twente…
- Cited by 5 (3 self) – Add To MetaCart
-
Attribute Grammar Applications in Prototyping LOTOS Tools
- …Attribute Grammar Applications in Prototyping LOTOS Tools Peter van Eijk University of Twente PO…
- Cited by 1 (0 self) – Add To MetaCart
-
Tools for LOTOS, a Lotosphere overview
- …Tools for LOTOS, a Lotosphere overview Peter van Eijk pve@(email omitted); University of Twente, Fac…
- Cited by 1 (1 self) – Add To MetaCart
-
An Exercise in Protocol Synthesis
- …An Exercise in Protocol Synthesis Peter van Eijk and Jeroen Schot pve@(email omitted); schot…
- Cited by 3 (0 self) – Add To MetaCart
-
Design of the LOTOSPHERE Symbolic LOTOS Simulator
- …Design of the LOTOSPHERE Symbolic LOTOS Simulator Peter van Eijk and Henk Eertink pve…
- Cited by 2 (0 self) – Add To MetaCart
-
The Term Processor Kimwitu: A system for generating language-based software
- …The Term Processor Kimwitu: A system for generating language-based software Peter van Eijk Axel…
- Add To MetaCart
-
The term processor generator kimwitu
- …The Term Processor Generator Kimwitu? Peter van Eijk1, Axel Belinfante2, Henk Eertink3, Henk…
- Cited by 1 (0 self) – Add To MetaCart
-
A Useful Application of Formal Procedure Parameters
- …A Useful Application of Formal Procedure Parameters Peter van Eijk Technische Hogeschool Twente P…
- Cited by 1 (0 self) – Add To MetaCart
-
The Term Processor Kimwitu - Manual and Cookbook
- …The Term Processor Kimwitu Manual and Cookbook Peter van Eijk Axel Belinfante April 17, 2000…
- Cited by 2 (0 self) – Add To MetaCart
-
On the use of specification styles for automated protocol implementation from LOTOS to C
- …On the use of specification styles for automated protocol implementation from LOTOS to C Peter van…
- Cited by 6 (2 self) – Add To MetaCart
Showing 1 through 10.
