|
Journals in DBLP
- Chris George, Anne Elisabeth Haxthausen
The Logic of the RAISE Specification Language. [Citation Graph (0, 0)][DBLP] Computers and Artificial Intelligence, 2003, v:22, n:4, pp:- [Journal]
- Martin C. Henson, Steve Reeves, Jonathan P. Bowen
Z Logic and its Consequences. [Citation Graph (0, 0)][DBLP] Computers and Artificial Intelligence, 2003, v:22, n:4, pp:- [Journal]
- Stephan Merz
On the Logic of TLA+. [Citation Graph (0, 0)][DBLP] Computers and Artificial Intelligence, 2003, v:22, n:4, pp:- [Journal]
|