4E937AF6-BA5A-4C41-BAD5-48C59B1A7D4AMETHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLESResearch GrantEP/E02727X/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL30531021686D72-F48F-42BF-8B99-D9130FF939EDModel Checking Optimisation Based Congestion Control AlgorithmsFundamenta Informaticae66570ea04fd4adf98d47fdd94a9e84b1Lomuscio A2010-01-01http://dx.doi.org/10.3233/fi-2010-298http://dx.doi.org/10.3233/fi-2010-2981Journal Article/Reviewr_52419652250359cc02