No photo of Rom Langerak

Rom Langerak

dr.ir.

1990 …2017
If you made any changes in Pure these will be visible here soon.

Research Output 1990 2017

Filter
Report
1997
18 Citations

Causal ambiguity and partial orders in event structures

Langerak, R., Brinksma, H. & Katoen, J. P. Apr 1997 Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. 97-11)

Research output: Book/ReportReport

Open Access
File
1996
1992
1991

Action refinement

Langerak, R. 1 Sep 1991 Enschede: Universiteit Twente.

Research output: Book/ReportReport

Decompositions of functionality

Langerak, R. 1 Sep 1991 Enschede: Universiteit Twente.

Research output: Book/ReportReport

From Full to basic LOTOS

Langerak, R. 1 Sep 1991 Enschede: Universiteit Twente.

Research output: Book/ReportReport