On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets

Résumé

no abstract

Dates et versions

hal-01371902 , version 1 (26-09-2016)

Identifiants

Citer

Benoît Barbot, Marta Z. Kwiatkowska. On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings, 2015, Unknown, Unknown Region. pp.1--32, ⟨10.1007/978-3-319-19488-2_1⟩. ⟨hal-01371902⟩
10 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More