Difference bound matrix (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Difference bound matrix" in English language version.

refsWebsite

Global rank English rank

383^rd place

320^th place

2^nd place

2^nd place

doi.org (Global: 2^nd place; English: 2^nd place)

Dill, David L (1990). "Timing assumptions and verification of finite-state concurrent systems". Automatic Verification Methods for Finite State Systems. Lecture Notes in Computer Science. Vol. 407. pp. 197–212. doi:10.1007/3-540-52148-8_17. ISBN 978-3-540-52148-8.

github.com (Global: 383^rd place; English: 320^th place)

"UPPAAL DBM Library". GitHub. 16 July 2021.