×

Found 11,991 Documents (Results 1–100)

Probabilistic model checking of BPMN processes at runtime. (English) Zbl 07573721

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 191-208 (2022).
MSC:  68Q60 68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Diffusive spreading in nature, technology and society (to appear). 2nd edition. (English) Zbl 07569170

Cham: Springer (ISBN 978-3-031-05945-2/hbk). xx, 530 p. (2022).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software