{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:55:49Z","timestamp":1725476149918},"publisher-location":"Boston, MA","reference-count":8,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387362328"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-36503-9_18","type":"book-chapter","created":{"date-parts":[[2007,1,10]],"date-time":"2007-01-10T06:47:50Z","timestamp":1168411670000},"page":"197-206","source":"Crossref","is-referenced-by-count":0,"title":["Remarks on Computer Simulations"],"prefix":"10.1007","author":[{"given":"Wiktor","family":"Da\u0144ko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Borowska A.: Determining Probabilities of Transitions in Probabilistic Algorithms, MSc Thesis, University of Bia\u0142ystok, 1999"},{"key":"18_CR2","unstructured":"Borowska A., Da\u0144ko W., Karbowska-Chili\u0144ska J.: Probabilistic Algorithms as a Tool for Modelling Stochastic Processes, Proceedings of CISIM\u201904, E\u0142k, 2004, (to appear in Springer-Verlag)"},{"issue":"3\u20134","key":"18_CR3","doi-asserted-by":"crossref","first-page":"417","DOI":"10.3233\/FI-1993-193-411","volume":"19","author":"W. Da\u0144ko","year":"1993","unstructured":"Da\u0144ko W.: The Set of Probabilistic Algorithmic Formulas Valid in a Finite Structure is Decidable with Respect to Its Diagram, Fundamenta Informaticae, vol. 19(3\u20134), 1993 (417\u2013431)","journal-title":"Fundamenta Informaticae"},{"key":"18_CR4","first-page":"39","volume":"II","author":"W. Da\u0144ko","year":"2005","unstructured":"Da\u0144ko W.: Verification of Results of Computer Simulation, Image Analysis, Computer Graphics, Security Systems and Artificial Intelligence Applications, vol. II, University of Finance and Management in Bia\u0142ystok, 2005, (39\u201345)","journal-title":"Verification of Results of Computer Simulation, Image Analysis, Computer Graphics, Security Systems and Artificial Intelligence Applications"},{"key":"18_CR5","volume-title":"An Introduction to Probability Theory","author":"W. Feller","year":"1977","unstructured":"Feller W.: An Introduction to Probability Theory (Polish translation), vol. 1, PWN, Warsaw, 1977"},{"key":"18_CR6","volume-title":"Finite Markov Processes and Their Applications","author":"M. Josifescu","year":"1988","unstructured":"Josifescu M.: Finite Markov Processes and Their Applications, John Wiley & Sons, New York, London 1988"},{"key":"18_CR7","volume-title":"The Methods for Verification of Properties of Probabilistic Programs","author":"J. Koszelew","year":"2000","unstructured":"Koszelew J.: The Methods for Verification of Properties of Probabilistic Programs, (doctoral dissertation), ICS PAS, Warszawa, 2000"},{"key":"18_CR8","volume-title":"Algorithmic Logic","author":"G. Mirkowska","year":"1987","unstructured":"Mirkowska G., Salwicki A.; Algorithmic Logic, D. Reidel Publ. Co. & PWN, Warsaw, 1987"}],"container-title":["Biometrics, Computer Security Systems and Artificial Intelligence Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-36503-9_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,7]],"date-time":"2021-08-07T12:38:00Z","timestamp":1628339880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-36503-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387362328"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-36503-9_18","relation":{},"subject":[]}}