Browsing by Subject Spin model�s
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2022 | Modeling and Formal Verification of The Dining Philosophers Problem Using SPIN | Bhateja, Puneet; Makvana, Kripalsinh |
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2022 | Modeling and Formal Verification of The Dining Philosophers Problem Using SPIN | Bhateja, Puneet; Makvana, Kripalsinh |