# created by /home/wf/.local/lib/python3.10/site-packages/ceurspt/ceurws.py CREATE # P31 :instance of Q13442814:scholarly article LAST|P31|Q13442814 # P1433: published in LAST|P1433|Q123785001 # english label LAST|Len|"DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems" # english description LAST|Den|"scientific paper published in CEUR-WS Volume 3587" # P1476:title LAST|P1476|en:"DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems" # P407 :language of work or name Q1860:English LAST|P407|Q1860 # P953 :full work available at URL LAST|P953|"https://ceur-ws.org/Vol-3587/4168.pdf" # P577 :publication date LAST|P577|+2023-12-13T00:00:00Z/11 # P2093: author name string, P1545: series ordinal LAST|P2093|"Valentina Castiglioni"|P1545|"1" # P50: author, P1545: series ordinal LAST|P50|Q56497695|P1545|"2" # P50: author, P1545: series ordinal LAST|P50|Q62057285|P1545|"3"