LNCS, vol 92 Moszkowski B, Manna Z (1983) Reasoning in interval temporal logic. ... Kluwer Academic, Norwell Spivey JM (1992) The Z notation—a reference ...
確定! 回上一頁