{"id":52,"date":"2022-02-25T08:29:43","date_gmt":"2022-02-25T08:29:43","guid":{"rendered":"https:\/\/synasc.ro\/2022\/?page_id=52"},"modified":"2023-05-08T06:51:59","modified_gmt":"2023-05-08T06:51:59","slug":"tutorials","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2023\/tutorials\/","title":{"rendered":"Tutorials"},"content":{"rendered":"\n<ul class=\"wp-block-list\"><li>Tutorial on &#8220;The TLA+ Language and Tools for Specifying and Verifying Systems&#8221; &#8211; Stephan Merz, INRIA, France<\/li><li>Tutorial on &#8220;Performance and Compliance Anomaly Detection&#8221; &#8211; Gabriel Iuhasz, West University of Timisoara, Romania<\/li><\/ul>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tutorial on &#8220;The TLA+ Language and Tools for Specifying and Verifying Systems&#8221; &#8211; Stephan Merz, INRIA, France Tutorial on &#8220;Performance and Compliance Anomaly Detection&#8221; &#8211; Gabriel Iuhasz, West University of Timisoara, Romania<\/p>\n","protected":false},"author":23,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-52","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages\/52","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/comments?post=52"}],"version-history":[{"count":17,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages\/52\/revisions"}],"predecessor-version":[{"id":659,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages\/52\/revisions\/659"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/media?parent=52"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}