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. 2024-07-15]. 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

Attribution 4.0 International Except where otherwise noted, this item's license is described as Attribution 4.0 International