Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
San Pietro, Pierluigi - Dipartimento di Elettronica e Informazione, Politecnico di Milano
Theoretical Computer Science 270 (2002) 463491 www.elsevier.com/locate/tcs
Real-Counter Automata and Verification (Extended Abstract)
A Scalable Formal Method for Design and Automatic Checking of User Interfaces*
Associative Language Parsing 1 Christian Biasini and
Practical Model Checking of LTL with Past M. Pradella2
Languages based on structural local testability
Regular Languages Associative Language Descriptions1
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
Experiences with a Formal Method for Design and Automatic Checking of User Interfaces
Alias Analysis by means of a Model Checker++++ P. San Pietro
TOWARDS A BRAIN COMPATIBLE THEORY OF SYNTAX BASED ON LOCAL TESTABILITY
