- Home
- About
- Leadership
- Recruitment
- Notifications
- Alumni & Wellwishers
- Donation
myIIT
- Academics
- Departments
- Programs
- B.Tech. (UG)
- BS-MS (UG)
- M.Sc. (PG)
- M.Tech. (PG)
- Executive M.Tech. (PG)
- M.Tech. by Research (PG)
- Ph.D. (PG)
- Curriculum
- Announcements
- Faculty Advisors
- Forms
- Library
- Scholarships
- Fellowships
- ACADEMIC INTERNSHIP
- Admissions
- Campus Life
- Research
Bounded Verification of Petri Nets and EOSs using Telingo: an Experience Report
INDIAN INSTITUTE OF TECHNOLOGY DHARWAD
PERMANENT CAMPUS
CHIKKAMALLIGAWAD
DHARWAD - 580 011
KARNATAKA
BHARATA (INDIA)