PKK Library catalog › Results of search for 'su:{model checking}'

	1.	Decidability of parameterized verification / by Bloem, Roderick P [author.] \| Jacobs, Swen [author.] \| Khalimov, Ayrat [author.] \| Konnov, Igor 1958-, [author.] \| Rubin, Sasha [author.] \| Veith, Helmut [author.] \| Widder, Josef [author.]. Material type: Book; Format: available online ; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xi, 158 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2015.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	2.	Representing and reasoning with qualitative preferences : : tools and applications / by Santhanam, Ganesh Ram [author.] \| Basu, Samik [author.] \| Honavar, Vasant [author.]. Material type: Book; Format: available online ; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xv, 138 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)

PKK Library