Transformation of a termination detection algorithm and its assertional correctness proof / Anneke A. Schoone and Gerard Tel - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Transformation of a termination detection algorithm and its assertional correctness proof / Anneke A. Schoone and Gerard Tel

Transformation of a termination detection algorithm and its assertional correctness proof / Anneke A. Schoone and Gerard Tel

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

7c3999cc484db38c6b54af0f95c20c1a

mainEntity

Transformation of a termination detection algorithm and its assertional correctness proof / Anneke A. Schoone and Gerard Tel

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

about

author

contributor

inLanguage

en

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

isPartOf

Technical report / Department of Computer Science

mainEntityOfPage

7c3999cc484db38c6b54af0f95c20c1a

name

Transformation of a termination detection algorithm and its assertional correctness proof

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

numberOfPages

19

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

publication

2e39702c70e7ebc266755f0673c2b7c9

sameAs

type

label

Transformation of a terminatio ...... neke A. Schoone and Gerard Tel

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