%0 Conference Paper %1 conf/fmics/WuRF20 %A Wu, May %A Rosenberg, Jessie C. %A Fulton, Nathan %B FMICS %D 2020 %E ter Beek, Maurice H. %E Nickovic, Dejan %I Springer %K dblp %P 170-188 %T A Formally Verified Plasma Vertical Position Control Algorithm. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2020.html#WuRF20 %V 12327 %@ 978-3-030-58298-2

@inproceedings{conf/fmics/WuRF20, added-at = {2021-09-08T00:00:00.000+0200}, author = {Wu, May and Rosenberg, Jessie C. and Fulton, Nathan}, biburl = {https://www.bibsonomy.org/bibtex/28ab4618c071f1c5b4cdf5716975258d8/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2020}, editor = {ter Beek, Maurice H. and Nickovic, Dejan}, ee = {https://doi.org/10.1007/978-3-030-58298-2_7}, interhash = {820f2e7bcb3a1ac2b09ab78c88d6e782}, intrahash = {8ab4618c071f1c5b4cdf5716975258d8}, isbn = {978-3-030-58298-2}, keywords = {dblp}, pages = {170-188}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:18:38.000+0200}, title = {A Formally Verified Plasma Vertical Position Control Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2020.html#WuRF20}, volume = 12327, year = 2020 }