Publications
Download CSV
Download XLSX
Download TXT
Tables
2026 (60)
2025 (847)
2024 (934)
2023 (918)
2022 (1034)
2021 (1042)
2020 (875)
2019 (789)
2018 (914)
2017 (936)
2016 (881)
2015 (693)
2014 (619)
2013 (473)
2012 (344)
2011 (199)
2010 (72)
2009 (38)
2008 (39)
2007 (13)
2006 (19)
2005 (9)
2004 (3)
2003 (2)
2002 (1)
All (11754)
Labels
Labels list
Labels table
Researchers
Subset
Documentation
About
Contact
Software
Login
Journal of Logical and Algebraic Methods in Programming
JSON
ISSN
2352-2208
ISSN-L
-
IUID
b4caed727159428183edb673d02b6faf
Modified
2026-08-21T11:22:47.944Z
Created
2026-08-21T11:22:47.944Z
Year 2024
DOI
Crossref
On proving that an unsafe controller is not proven safe
Selvaraj Y
,
Krook J
,
Ahrendt W
,
Fabian M
Journal of Logical and Algebraic Methods in Programming
137
(-) 100939 [2024-02-00; online 2024-02-00]
SciLifeLab Data Centre
Publications
9.5.1