The Vital Processor Interlocking.

Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

Originele taal-2Engels
TitelAlgebraic Specification in Action
Pagina's1-56
Aantal pagina's56
DOI's
StatusGepubliceerd - 1999

Toegang tot document

Citeer dit