A Logic for (1992)
by
Double Precision P
| Venue: | Z, Proceedings 6th Z User Meeting |
| Citations: | 35 - 1 self |
BibTeX
@INPROCEEDINGS{P92alogic,
author = {Double Precision P},
title = {A Logic for},
booktitle = {Z, Proceedings 6th Z User Meeting},
year = {1992},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Note: before using this routine, please read the Users ’ Note for your implementation to check the interpretation of bold italicised terms and other implementation-dependent details. 1 Purpose G05TBF generates a vector of pseudorandom logical values –.TRUE. with probability p and.FALSE. with probability ð1pÞ.
Citations
No citations identified.
