J. Horejs

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1981

3 J. Horejs: Partial Interpretations of Program Schemata. MFCS 1981: 296-303

1979

2 J. Horejs: Finite Semantics for Program Testing. ICSE 1979: 433-441

1973

1 J. Horejs: An Algebraic Model for Parallel Processes. MFCS 1973: 235-238

1981
3		J. Horejs: Partial Interpretations of Program Schemata. MFCS 1981: 296-303
1979
2		J. Horejs: Finite Semantics for Program Testing. ICSE 1979: 433-441
1973
1		J. Horejs: An Algebraic Model for Parallel Processes. MFCS 1973: 235-238