Fundamentals in Agriculture TechnologyPrashant S. Bodake, Srinivasan Iyengar, Santosh V. Sawardekar, Chintan Oza, Yogesh Naik · First published 2023Open the Tome
A temporal logic for the specification and verification of real-time systemsYogesh Naik · First published 1993Open the Tome
