scientific article; zbMATH DE number 1404242
From MaRDI portal
Publication:4937863
zbMATH Open0941.68632MaRDI QIDQ4937863FDOQ4937863
Authors: Nobuyuki Usui, Shigetomo Kimura, Atsushi Togashi, Norio Shiratori 
Publication date: 20 February 2000
Title of this publication is not available (Why is that?)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
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 Q4937863)
