scientific article; zbMATH DE number 1324649

MaRDI QIDQ4255547zbMATH OpenFDO

Authors Sebastiaan van Vlijmen, Arjan van Waveren, Steven Klusener, Wilco Koorn, Liang Oei, Roland N. Bol, Stefan Vos de Wael, Frank A. Van der Duyn Schouten

Publication date 18 August 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=21#21008

zbMATH Keywords

specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Four topics and an example
• Four particular cases of the Fourier transform
• Four and more
• An epilog to the Luzin case
• Special cases

Cited in

(1)

• scientific article; zbMATH DE number 2033512 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4255547)