Inproceedings,
Stochastic Specification and Verification.
J. Bryans, and J. Derrick.IWFM, BCS, (1999)
Meta data
- BibTeX key
- conf/iwfm/BryansD99
- entry type
- inproceedings
- booktitle
- IWFM
- year
- 1999
- publisher
- BCS
- series
- Workshops in Computing
- crossref
- conf/iwfm/1999
- ee
- http://ewic.bcs.org/content/ConWebDoc/4224
- url
- http://dblp.uni-trier.de/db/conf/iwfm/iwfm1999.html#BryansD99
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/iwfm/BryansD99
%A Bryans, Jeremy W.
%A Derrick, John
%B IWFM
%D 1999
%E Butterfield, Andrew
%E Haegele, Klemens
%I BCS
%K dblp
%T Stochastic Specification and Verification.
%U http://dblp.uni-trier.de/db/conf/iwfm/iwfm1999.html#BryansD99
@inproceedings{conf/iwfm/BryansD99,
added-at = {2019-03-14T00:00:00.000+0100},
author = {Bryans, Jeremy W. and Derrick, John},
biburl = {https://www.bibsonomy.org/bibtex/251acbbbbb220573ae694d6093526eba9/dblp},
booktitle = {IWFM},
crossref = {conf/iwfm/1999},
editor = {Butterfield, Andrew and Haegele, Klemens},
ee = {http://ewic.bcs.org/content/ConWebDoc/4224},
interhash = {b7c8451825f0209cdc1d2af8aa03c5b3},
intrahash = {51acbbbbb220573ae694d6093526eba9},
keywords = {dblp},
publisher = {BCS},
series = {Workshops in Computing},
timestamp = {2019-03-15T11:41:59.000+0100},
title = {Stochastic Specification and Verification.},
url = {http://dblp.uni-trier.de/db/conf/iwfm/iwfm1999.html#BryansD99},
year = 1999
}