{"id":18077,"date":"2020-11-06T16:44:30","date_gmt":"2020-11-06T15:44:30","guid":{"rendered":"https:\/\/www.itspy.cz\/thesis\/overovani-splneni-nejzazsich-terminu-pomoci-kontroly-modelu\/"},"modified":"2020-11-06T16:44:30","modified_gmt":"2020-11-06T15:44:30","slug":"overovani-splneni-nejzazsich-terminu-pomoci-kontroly-modelu","status":"publish","type":"thesis","link":"https:\/\/www.itspy.cz\/en\/thesis\/overovani-splneni-nejzazsich-terminu-pomoci-kontroly-modelu\/","title":{"rendered":"Deadline Verification Using Model Checking"},"content":{"rendered":"","protected":false},"featured_media":17417,"template":"","meta":{"_acf_changed":false,"_links_to":"","_links_to_target":""},"university":[45,138],"thesis-year":[250],"class_list":["post-18077","thesis","type-thesis","status-publish","has-post-thumbnail","hentry","thesis-year-250"],"acf":{"autor":"Jan Onderka","portret":"","vedouci":"doc. Dipl.-Ing. Dr. techn. Stefan Ratschan"},"_links":{"self":[{"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/thesis\/18077","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/thesis"}],"about":[{"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/types\/thesis"}],"version-history":[{"count":0,"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/thesis\/18077\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/media\/17417"}],"wp:attachment":[{"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/media?parent=18077"}],"wp:term":[{"taxonomy":"university","embeddable":true,"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/university?post=18077"},{"taxonomy":"thesis-year","embeddable":true,"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/thesis-year?post=18077"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}