conf.researchr.org / Jan Pedersen
Not registered as user yet
Name: Jan Pedersen
Affiliation: University of Nevada Las Vegas
Contributions
| FormaliSE 2019 | Author of Verifying Channel Communication Correctness for a Multi-Core Cooperatively Scheduled Runtime Using CSP within the FormaliSE 2019-track |