{"labels":{"en":"An Event Calculus Formalization of Timed Automata"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 2156"},"claims":{"P31":"Q13442814","P1433":"Q113543272","P1476":{"text":"An Event Calculus Formalization of Timed Automata","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-2156/paper5.pdf","P50":[{"value":"Q58328849","qualifiers":{"P1545":"4"}}],"P2093":[{"value":"Nicola Falcionelli","qualifiers":{"P1545":"1"}},{"value":"Paolo Sernani","qualifiers":{"P1545":"2"}},{"value":"Dagmawi Neway Mekuria","qualifiers":{"P1545":"3"}}]}}