On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
Résumé
no abstract
Benoît Barbot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01371902
Soumis le : lundi 26 septembre 2016-15:39:39
Dernière modification le : jeudi 18 avril 2024-09:18:40