( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Semi-Continuous Time Models Using BDDs.

, , , , и . SMC@FLoC, том 23 из Electronic Notes in Theoretical Computer Science, стр. 75-87. Elsevier, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sérgio Campos

Sérgio Clementi

Sérgio Costa

Sérgio Mata

Sérgio Daher

 

Другие публикации лиц с тем же именем

Characterizing SopCast client behavior., , , , , и . Comput. Commun., 35 (8): 1004-1016 (2012)Extending UML to Specify and Verify E-commerce Systems., , , , , и . SEKE, стр. 306-313. (2003)A behaviour model of the SopCast users., , , , и . WebMedia, стр. 24. ACM, (2009)Content pollution on P2P Live Streaming systems., , и . WebMedia, стр. 50. ACM, (2009)The Verus language: representing time efficiently with BDDs., и . Theor. Comput. Sci., 253 (1): 95-118 (2001)NASirt: AutoML based learning with instance-level complexity information., , и . CoRR, (2020)On the utilization of deep and ensemble learning to detect milk adulteration., , , , , и . BioData Min., 12 (1): 13:1-13:13 (2019)Model Checking Semi-Continuous Time Models Using BDDs., , , , и . SMC@FLoC, том 23 из Electronic Notes in Theoretical Computer Science, стр. 75-87. Elsevier, (1999)Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems., , , и . Workshop on Languages, Compilers, & Tools for Real-Time Systems, стр. 70-78. ACM, (1995)Resource-constrained P2P streaming overlay construction for efficient joining under flash crowds., , , , и . ISCC, стр. 639-644. IEEE Computer Society, (2017)