%0 Conference Paper %1 conf/fit/NawazAL16 %A Nawaz, M. Saqib %A Ali, Hussam %A Lali, Muhammad Ikram Ullah %B FIT %D 2016 %I IEEE Computer Society %K dblp %P 193-198 %T Concurrent Algorithms in SPIN Model Checker. %U http://dblp.uni-trier.de/db/conf/fit/fit2016.html#NawazAL16 %@ 978-1-5090-5300-1

@inproceedings{conf/fit/NawazAL16, added-at = {2019-09-25T00:00:00.000+0200}, author = {Nawaz, M. Saqib and Ali, Hussam and Lali, Muhammad Ikram Ullah}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b1194edf3cafb4c5b4a6effdf0aa43c6/dblp}, booktitle = {FIT}, crossref = {conf/fit/2016}, ee = {http://doi.ieeecomputersociety.org/10.1109/FIT.2016.043}, interhash = {6fa79a36e0a2d61dee516f0db7fb8d3a}, intrahash = {b1194edf3cafb4c5b4a6effdf0aa43c6}, isbn = {978-1-5090-5300-1}, keywords = {dblp}, pages = {193-198}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T20:26:06.000+0200}, title = {Concurrent Algorithms in SPIN Model Checker.}, url = {http://dblp.uni-trier.de/db/conf/fit/fit2016.html#NawazAL16}, year = 2016 }