Citation Details

Chapter

ProB: A Model Checker for B

FME 2003: Formal Methods, 2003, Volume 2805

ISBN : 978-3-540-40828-4

Michael Leuschel, Michael Butler
Read Online

1 Items cite this Chapter with Journal: IEEE Transactions on Dependable and Secure Computing

Page: 1
3citations

Article

Practical Verification of Railway Signalling Programs

Alexei Iliasov, Dominic Taylor, Linas Laibinis and Alexander Romanovsky

Journal: IEEE Transactions on Dependable and Secure Computing, 2023, Volume 20, Number 1, Page 695

DOI: 10.1109/TDSC.2022.3141555

Read Online
313
Items cite this Chapter
745
Items cite entire book

citation rank

99th
percentile

Citations per year

2023

citing journals