<![CDATA[ Search for 'au:"Groote, Jan Friso"']]>

<![CDATA[ Search for 'au:"Groote, Jan Friso"']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Groote%2C%20Jan%20Friso%22&format=rss2 2 0 50 Understanding behaviour of distributed systems using mCRL2 ISBN 9783031230073 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=33119 | v.458 By Atif, Muhammad. Cham : Springer, 2023 . xv, 235 p. ; 24 cm. 9783031230073

Place Hold on Understanding behaviour of distributed systems using mCRL2

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=33119 | v.458 Modeling and analysis of communicating systems ISBN 9780262027717 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=13783 By Groote, Jan Friso. Cambridge: MIT Press, 2014 . xvi, 376 p.; 26 cm.. 9780262027717

Place Hold on Modeling and analysis of communicating systems

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