@article{1093888214,
author = {Locks, Mitchell O.},
title = {Logical and probability analysis of systems.},
journal = {Notre Dame J. Formal Logic},
volume = {19},
number = {1},
year = {1978},
pages = { 123-136},
language = {en},
url = {http://dml.mathdoc.fr/item/1093888214}
}
Locks, Mitchell O. Logical and probability analysis of systems.. Notre Dame J. Formal Logic, Tome 19 (1978) no. 1, pp. 123-136. http://gdmltest.u-ga.fr/item/1093888214/