Abstract
Formal verification of cP systems using Coq
Full Text
Sign-in/Register to access full text options
Published version (Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
https://doi.org/10.1007/s41965-021-00080-4
Copy DOIJournal: Journal of Membrane Computing | Publication Date: Aug 24, 2021 |
Citations: 2 |
Formal verification of cP systems using Coq
Join us for a 30 min session where you can share your feedback and ask us any queries you have