Testing equivalence as a bisimulation technique

Tests of rank

Robin, J.
Smith, R
Cambridge Univ. (United Kingdom). Dept. of Applied Economics

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:3509.88(CU-DAE-WP--9521) / BLDSC - B...

Investigating authenticity in language testing

Lewkowicz, J.A.

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN012170 / BLDSC - British Library D...

Kiviet, J.F.
Phillips, G.D
Bristol Univ. (United Kingdom). Dept. of Economics

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3597.76(BU-DE-DP--91/308) / BLDSC - ...

On the bisimulation proof method

Sangiorgi, D
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--94-299) / BLDSC ...

Standard test methods

British Aerosol Manufacturers' Association, London (United Kingdom)

January 1988

25.00SIGLEAvailable from British Library Document Supply Centre- DSC:f89/0446 / BLDSC - British Libr...

Equivalence scale relativities

Banks, J.
Johnson, P
Institute for Fiscal Studies, London (United Kingdom)

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:4363.3435(IFS-WP-W--93/8) / BLDSC - ...

Objective testing

Coulson, A
University of Northumbria at Newcastle (United Kingdom). Materials and Resources Centre for Enterprising Teaching

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:7331.26106(4) / BLDSC - British Libr...

Using analogue assessments

Emerson, E.
Barrett, S.
Cummings, R
Kent Univ., Canterbury (United Kingdom). Tizard Centre

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:q96/07813 / BLDSC - British Library ...

Testing equivalences and fully abstract models for communicating processes

Nicola, R. de

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:D67136/86 / BLDSC - British Library ...

Separability and specification tests

Richmond, J.
Essex Univ., Colchester (United Kingdom). Dept. of Economics

January 2000

Available from British Library Document Supply Centre-DSC:3597.973(no 527) / BLDSC - British Library...

Tests and targets

Neather, T.
Stringer-Lamarre, S.
Centre for Information on Language Teaching and Research (CILT), London (United Kingdom)

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:0696.9189(3) / BLDSC - British Librar...

A test procedure for measuring print quality

Dusek, Milos
Hunt, Christopher
National Physical Laboratory (Great Britain) (United Kingdom)

January 2002

Includes bibliographical referencesAvailable from British Library Document Supply Centre- DSC:6180. ...

Concurrent testing of processes

Hennessy, M
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--11/91) / BLDSC - ...

Investigations into testability and related concepts

Al-Khanjari, Z.A.

January 1999

Available from British Library Document Supply Centre-DSC:DXN047131 / BLDSC - British Library Docume...

Supplementary benefits A test of adequacy by disaggregation

Stitt, S.G

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:DX94180 / BLDSC - British Library Do...

Tests of rank

Robin, J.
Smith, R
Cambridge Univ. (United Kingdom). Dept. of Applied Economics

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:3509.88(CU-DAE-WP--9521) / BLDSC - B...

Investigating authenticity in language testing

Lewkowicz, J.A.

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN012170 / BLDSC - British Library D...

Kiviet, J.F.
Phillips, G.D
Bristol Univ. (United Kingdom). Dept. of Economics

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3597.76(BU-DE-DP--91/308) / BLDSC - ...

On the bisimulation proof method

Sangiorgi, D
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--94-299) / BLDSC ...

Standard test methods

British Aerosol Manufacturers' Association, London (United Kingdom)

January 1988

25.00SIGLEAvailable from British Library Document Supply Centre- DSC:f89/0446 / BLDSC - British Libr...

Equivalence scale relativities

Banks, J.
Johnson, P
Institute for Fiscal Studies, London (United Kingdom)

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:4363.3435(IFS-WP-W--93/8) / BLDSC - ...

Objective testing

Coulson, A
University of Northumbria at Newcastle (United Kingdom). Materials and Resources Centre for Enterprising Teaching

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:7331.26106(4) / BLDSC - British Libr...

Using analogue assessments

Emerson, E.
Barrett, S.
Cummings, R
Kent Univ., Canterbury (United Kingdom). Tizard Centre

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:q96/07813 / BLDSC - British Library ...

Testing equivalences and fully abstract models for communicating processes

Nicola, R. de

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:D67136/86 / BLDSC - British Library ...

Separability and specification tests

Richmond, J.
Essex Univ., Colchester (United Kingdom). Dept. of Economics

January 2000

Available from British Library Document Supply Centre-DSC:3597.973(no 527) / BLDSC - British Library...

Tests and targets

Neather, T.
Stringer-Lamarre, S.
Centre for Information on Language Teaching and Research (CILT), London (United Kingdom)

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:0696.9189(3) / BLDSC - British Librar...

A test procedure for measuring print quality

Dusek, Milos
Hunt, Christopher
National Physical Laboratory (Great Britain) (United Kingdom)

January 2002

Includes bibliographical referencesAvailable from British Library Document Supply Centre- DSC:6180. ...

Concurrent testing of processes

Hennessy, M
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--11/91) / BLDSC - ...

Investigations into testability and related concepts

Al-Khanjari, Z.A.

January 1999

Available from British Library Document Supply Centre-DSC:DXN047131 / BLDSC - British Library Docume...

Supplementary benefits A test of adequacy by disaggregation

Stitt, S.G

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:DX94180 / BLDSC - British Library Do...

Tests of rank

Robin, J.
Smith, R
Cambridge Univ. (United Kingdom). Dept. of Applied Economics

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:3509.88(CU-DAE-WP--9521) / BLDSC - B...

Investigating authenticity in language testing

Lewkowicz, J.A.

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN012170 / BLDSC - British Library D...

Kiviet, J.F.
Phillips, G.D
Bristol Univ. (United Kingdom). Dept. of Economics

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3597.76(BU-DE-DP--91/308) / BLDSC - ...

Testing equivalence as a bisimulation technique

Abstract

Extracted data

Testing equivalence as a bisimulation technique

Abstract

Extracted data

Related items

Related items