Matches in Wikidata for { <http://www.wikidata.org/entity/Q58028946> ?p ?o ?g. }
Showing items 1 to 34 of
34
with 100 items per page.
- Q58028946 description "article scientifique publié en 2009" @default.
- Q58028946 description "wetenschappelijk artikel" @default.
- Q58028946 description "наукова стаття, опублікована у 2009" @default.
- Q58028946 name "On Teaching Formal Methods: Behavior Models and Code Analysis" @default.
- Q58028946 name "On Teaching Formal Methods: Behavior Models and Code Analysis" @default.
- Q58028946 type Item @default.
- Q58028946 label "On Teaching Formal Methods: Behavior Models and Code Analysis" @default.
- Q58028946 label "On Teaching Formal Methods: Behavior Models and Code Analysis" @default.
- Q58028946 prefLabel "On Teaching Formal Methods: Behavior Models and Code Analysis" @default.
- Q58028946 prefLabel "On Teaching Formal Methods: Behavior Models and Code Analysis" @default.
- Q58028946 P1433 Q58028946-921DE8C6-16F6-449A-A36B-F2D2F9E30FE3 @default.
- Q58028946 P1476 Q58028946-268233E8-1122-4344-82B9-34B120AF014A @default.
- Q58028946 P2093 Q58028946-26CBA433-54ED-4C8C-852B-A85EB4054F30 @default.
- Q58028946 P2093 Q58028946-7E35D108-925C-47ED-9E86-963A08E6A471 @default.
- Q58028946 P2093 Q58028946-C3ABA857-D602-4BA8-945B-A18AA5C1B3EB @default.
- Q58028946 P304 Q58028946-90F43BDC-6F2F-4DD6-98F8-142AE1EADA8A @default.
- Q58028946 P31 Q58028946-B8410B76-4D37-4E9C-A3F7-8A7B1F75A178 @default.
- Q58028946 P356 Q58028946-B22AE07E-3939-418B-8428-91648B295C05 @default.
- Q58028946 P407 Q58028946-2D372708-EBC7-438D-9BB1-1D2B841ACB22 @default.
- Q58028946 P577 Q58028946-36371A7B-934F-4F99-B3C0-28747475AD38 @default.
- Q58028946 P8978 Q58028946-06E59EB3-06CB-460C-9678-75A5E0C82EDF @default.
- Q58028946 P356 978-3-642-04912-5_10 @default.
- Q58028946 P8978 KofronPS09 @default.
- Q58028946 P1433 Q924044 @default.
- Q58028946 P1476 "On Teaching Formal Methods: Behavior Models and Code Analysis" @default.
- Q58028946 P2093 "Jan Kofroň" @default.
- Q58028946 P2093 "Ondřej Šerý" @default.
- Q58028946 P2093 "Pavel Parízek" @default.
- Q58028946 P304 "144-157" @default.
- Q58028946 P31 Q13442814 @default.
- Q58028946 P356 "10.1007/978-3-642-04912-5_10" @default.
- Q58028946 P407 Q1860 @default.
- Q58028946 P577 "2009-01-01T00:00:00Z" @default.
- Q58028946 P8978 "conf/tfm/KofronPS09" @default.