<![CDATA[ Search for 'au:"Katoen, Joost-Pieter"']]>

<![CDATA[ Search for 'au:"Katoen, Joost-Pieter"']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Katoen%2C%20Joost-Pieter%22&format=rss2 3 0 50 Model-based testing of reactive systems ISBN 3540262784 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6055 By Jonsson, Bengt. Berlin: Springer, 2005 . viii, 659 p.; 24 cm.. 3540262784

Place Hold on Model-based testing of reactive systems

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6055 Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science ISBN 3540424792 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6172 By Brinksma, Ed.. Berlin: Springer-Verlag, 2001 . vi, 429 p.; 24 cm.. 3540424792

Place Hold on Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6172 Principles of model checking ISBN 9780262026499 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=13774 By Baier, Christel. Cambridge: MIT Press, 2008 . xvii, 975 p.; 26 cm.. 9780262026499

Place Hold on Principles of model checking

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=13774