TBU Publications
Repository of TBU Publications

Using formal methods in distributed system design

DSpace Repository


Find Full text Export to RefWorks
   

 

Files in this item

ČSN ISO 690:2011 citation

Citace článku v konferenčním sborníku:
AWWAMA, Emad Eddin, Mohammad KADI, Said KRAYEM, Ivo LAZAR a Ahmad RIHAWI. Using formal methods in distributed system design. In: MATEC Web of Conferences [online]. Agia Pelagia Beach, Crete Island: EDP Sciences, 2017 [cit. 2019-11-12]. ISSN 2261-236X. Dostupné z: https://www.matec-conferences.org/articles/matecconf/abs/2017/39/matecconf_cscc2017_02033/matecconf_cscc2017_02033.html.

These citations are software generated and may contain errors. To verify accuracy, check the appropriate style guide.

Related articles

Creative Commons Attribution License 4.0 Except where otherwise noted, this item's license is described as Creative Commons Attribution License 4.0