by Weeks, Michael
Year of Publication 2020

by Tzouvaras, Athanassios
Published in Journal of applied non-classical logics (01.10.2020)

by Astrom, Anthon, Zimmer, Lukas
Published in Journal of Electronic Publishing (2014)

Published in Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

by Clark Glymour
Published in Testing Scientific Theories (06.03.1984)

by Nie, Shihao, Ding, Li, Huang, Mingyu, Hu, Ping
Published in Physics letters. A (26.06.2019)

by Chen, Chao-Hong, Choudhury, Vikraman, Carette, Jacques, Sabry, Amr
Published in Reversible Computation (01.01.2020)

by SAKAI HIROTAKA, HAYASHI TOSHIFUMI, KOJIMA ATSUSHI
Year of Publication 09.02.2016

by SAKAI HIROTAKA, HAYASHI TOSHIFUMI, KOJIMA ATSUSHI
Year of Publication 20.12.2012

Year of Publication 19.02.2014

by SAKAI HIROTAKA, HAYASHI TOSHIBUMI, KOJIMA ATSUSHI
Year of Publication 22.09.2011

by Chao-Hong, Chen, Choudhury, Vikraman, Carette, Jacques, Sabry, Amr
Published in arXiv.org (17.02.2020)

by KOJIMA, ATSUSHI, HAYASHI, TOSHIFUMI, SAKAI, HIROTAKA
Year of Publication 15.09.2011

by PATERNOSTRO MARCELO, SLUIMAN HARM
Year of Publication 20.11.2007

by Sluiman, Harm, Paternostro, Marcelo
Year of Publication 20.11.2007

by PATERNOSTRO MARCELO, SLUIMAN HARM
Year of Publication 17.07.2003

by Paternostro, Marcelo, Sluiman, Harm
Year of Publication 17.07.2003

by PATERNOSTRO, L. MARCELO, SLUIMAN, HARM
Year of Publication 20.06.2003