Login / Signup
Denis Patti
Publication Activity (10 Years)
Years Active: 2013-2018
Publications (10 Years): 2
Top Topics
License Plate Detection
Finite State Machines
Verification Method
Model Checking
Top Venues
J. Satisf. Boolean Model. Comput.
Int. J. Softw. Tools Technol. Transf.
DATE
Future Internet
</>
Publications
</>