Matches in Wikidata for { <http://www.wikidata.org/entity/Q112692551> ?p ?o ?g. }
Showing items 1 to 31 of
31
with 100 items per page.
- Q112692551 description "publication published on 30 May 2020" @default.
- Q112692551 name "A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic" @default.
- Q112692551 type Item @default.
- Q112692551 label "A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic" @default.
- Q112692551 prefLabel "A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic" @default.
- Q112692551 P1476 Q112692551-EB2B7B09-BCF8-4760-8924-8A1A345B38C8 @default.
- Q112692551 P2093 Q112692551-2F69EA03-DA9B-45B6-8613-E032559B0191 @default.
- Q112692551 P2093 Q112692551-731B5EF2-4A6B-407C-9151-D23802D82101 @default.
- Q112692551 P2093 Q112692551-7BF612FB-FC3D-4B9F-A51C-D50495486154 @default.
- Q112692551 P2093 Q112692551-9054259B-AF20-4D54-BF26-5B9B937CA3BA @default.
- Q112692551 P2093 Q112692551-9BBEB428-80EC-48E2-BE8A-64BEF6FB7864 @default.
- Q112692551 P2093 Q112692551-E63F2757-9ED9-4F87-AFAF-9DCA0E6BB6BB @default.
- Q112692551 P2093 Q112692551-FB765B23-D094-47EE-A9BB-0A6E1905710F @default.
- Q112692551 P304 Q112692551-B5ADA1D7-E11E-46D8-B922-8855DA4BB87B @default.
- Q112692551 P31 Q112692551-0A628A77-5A5F-417B-AD69-3CF4075EF140 @default.
- Q112692551 P478 Q112692551-4CD9525F-E086-4233-8264-6C5842871BDA @default.
- Q112692551 P577 Q112692551-73600198-583C-4A9E-A78C-53CAD6CEDB38 @default.
- Q112692551 P932 Q112692551-7382E897-4B2A-444D-8AA6-9FF569EA19D0 @default.
- Q112692551 P1476 "A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic" @default.
- Q112692551 P2093 "David Basin" @default.
- Q112692551 P2093 "Dmitriy Traytel" @default.
- Q112692551 P2093 "Joshua Schneider" @default.
- Q112692551 P2093 "Lukas Heimes" @default.
- Q112692551 P2093 "Martin Raszyk" @default.
- Q112692551 P2093 "Srđan Krstić" @default.
- Q112692551 P2093 "Thibault Dardinier" @default.
- Q112692551 P304 "432-453" @default.
- Q112692551 P31 Q732577 @default.
- Q112692551 P478 "12166" @default.
- Q112692551 P577 "2020-05-30T00:00:00Z" @default.
- Q112692551 P932 "7324294" @default.