Thakur Neupane
Orcid: 0000-0002-1870-4079
According to our database1,
Thakur Neupane
authored at least 4 papers
between 2019 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022
2019
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019