Skip to main content
Search form
Search
Webinars
Blog
Contact
Support
PPL
eclairit.com
Toggle navigation
Eclair
Overview
Technical specification
Misra-C
Bug finder
Sample reports
SaaS
eclairit.com
Client Kit
Get a free trial
Qualification Kits
Industries
Automotive
Aerospace
Industrial
Railway
Medical
Agriculture & Forestry
Services
Consulting
Training
Verification Services
Technical support
Resources
Webinars
Documentation
Scientific publications
Company
About
News
Customers
Partners
Blog
Contact us
Careers
Academy
Selected Scientific Publications
Export 1 results:
BibTex
Author
Title
Type
[
Year
]
Filters:
Author
is
A. Pescetti
[Clear All Filters]
2012
Bagnara R.
,
Mesnard F.
,
Pescetti A.
,
Zaffanella E.
. 2012.
A New Look at the Automatic Synthesis of Linear Ranking Functions
.
Information and Computation. 215:47-67.
Google Scholar
BibTex
BagnaraMPZ12IC.pdf
(463.08 KB)