Browsing by Author Chakraborty, Pinaki
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
Jan-2021 | Multi-Agent Systems: Model-checking in Logics of Protocols | Chakraborty, Pinaki |
Issue Date | Title | Author(s) |
---|---|---|
Jan-2021 | Multi-Agent Systems: Model-checking in Logics of Protocols | Chakraborty, Pinaki |