Assertional verification of a termination detection algorithm / A.A. Schoone and G. Tel - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Assertional verification of a termination detection algorithm / A.A. Schoone and G. Tel

Assertional verification of a termination detection algorithm / A.A. Schoone and G. Tel

http://data.bibliotheken.nl/id/nbt/p056445091

4282a6e1f5a31bfa784e1bf9b00b548a

mainEntity

Assertional verification of a termination detection algorithm / A.A. Schoone and G. Tel

http://data.bibliotheken.nl/id/nbt/p056445091

about

author

contributor

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isPartOf

Technical report / Department of Computer Science

mainEntityOfPage

4282a6e1f5a31bfa784e1bf9b00b548a

name

Assertional verification of a termination detection algorithm

http://www.w3.org/2001/XMLSchema#string

numberOfPages

17

http://www.w3.org/2001/XMLSchema#integer

publication

54f79a9d5efde191a0ddeacae0aaf7e9

sameAs

type

label

Assertional verification of a termination detection algorithm / A.A. Schoone and G. Tel

http://www.w3.org/2001/XMLSchema#string