Tackling the Dagstuhl'94 specification problems with I/O automata / J.M.T. Romijn - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Tackling the Dagstuhl'94 specification problems with I/O automata / J.M.T. Romijn

Tackling the Dagstuhl'94 specification problems with I/O automata / J.M.T. Romijn

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

8b882931c247ccf38a12fed8e2b06e52

mainEntity

Tackling the Dagstuhl'94 specification problems with I/O automata / J.M.T. Romijn

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

about

author

inLanguage

en

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

isPartOf

Report / Department of Computer Science

mainEntityOfPage

8b882931c247ccf38a12fed8e2b06e52

name

Tackling the Dagstuhl'94 specification problems with I/O automata

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

numberOfPages

32

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

publication

e79aeb3b4adeb4c726df94ac9016a983

sameAs

type

label

Tackling the Dagstuhl'94 specification problems with I/O automata / J.M.T. Romijn

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