Matches in Wikidata for { <http://www.wikidata.org/entity/Q58803133> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- Q58803133 description "wetenschappelijk artikel" @default.
- Q58803133 description "наукова стаття, опублікована у 2012" @default.
- Q58803133 name "Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour" @default.
- Q58803133 name "Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour" @default.
- Q58803133 type Item @default.
- Q58803133 label "Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour" @default.
- Q58803133 label "Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour" @default.
- Q58803133 prefLabel "Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour" @default.
- Q58803133 prefLabel "Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour" @default.
- Q58803133 P1104 Q58803133-74E73E54-5075-4AE6-BB41-2EAEF1D4B99D @default.
- Q58803133 P1433 Q58803133-FF0BB58E-C8C4-46CD-80BB-17104AB899C8 @default.
- Q58803133 P1476 Q58803133-53D6B0DA-053F-4E19-9262-7A05E067E091 @default.
- Q58803133 P2093 Q58803133-2831360D-B63C-4CEE-BCAD-AE4BF3ABAF0D @default.
- Q58803133 P2093 Q58803133-533E423A-7349-45A6-B743-C87EFA029258 @default.
- Q58803133 P2093 Q58803133-58BE61D1-BF9A-41F1-81DF-12D7640963ED @default.
- Q58803133 P2093 Q58803133-7F811594-9347-465B-94AB-17A90AE863B8 @default.
- Q58803133 P304 Q58803133-9151888E-EEB1-46C1-B112-E5965DE19CB5 @default.
- Q58803133 P31 Q58803133-25DE2F72-2007-4F64-9F0E-070E6E0AC96B @default.
- Q58803133 P356 Q58803133-2244FB71-3F21-42CF-B88E-DFF78FC774BD @default.
- Q58803133 P407 Q58803133-FEC69B65-3B52-4AB3-8B71-343A5828C368 @default.
- Q58803133 P577 Q58803133-4C7AF556-5699-4553-BE68-7373CAA09060 @default.
- Q58803133 P8978 Q58803133-C2C7822F-24ED-4E5C-A380-E35E39E748E4 @default.
- Q58803133 P356 978-3-642-34327-8_8 @default.
- Q58803133 P8978 ColemanEHL12 @default.
- Q58803133 P1104 "+13" @default.
- Q58803133 P1433 Q924044 @default.
- Q58803133 P1476 "Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour" @default.
- Q58803133 P2093 "Carl Lusty" @default.
- Q58803133 P2093 "René Hexel" @default.
- Q58803133 P2093 "Robert Coleman" @default.
- Q58803133 P2093 "Vladimir Estivill-Castro" @default.
- Q58803133 P304 "52-64" @default.
- Q58803133 P31 Q13442814 @default.
- Q58803133 P356 "10.1007/978-3-642-34327-8_8" @default.
- Q58803133 P407 Q1860 @default.
- Q58803133 P577 "2012-01-01T00:00:00Z" @default.
- Q58803133 P8978 "conf/simpar/ColemanEHL12" @default.