Graziella Tonfoni CTML - A Context Transport Mark-up Language for Formalization and Verification of Legal, Medical and Bureaucratic and Safety procedures and Protocols. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
Nikolay V. Shilov, Kwang Yi Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
John M. Rushby Analyzing Cockpit Interfaces Using Formal Methods. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
Michael Newton Grammatical Specification in ASL: Germanic Dependent Clause Order. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
Howard Bowman Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]