Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by G. Pola
Achievable Bisimilar Behaviour of Abstract State Systems
Related publications
Formalization of Abstract State Transition Systems for SAT
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
The Steady-State Behaviour of Multistate Monotone Systems
Journal of Applied Probability
Mathematics
Statistics
Uncertainty
Probability
Concurrent Abstract State Machines
Acta Informatica
Computer Networks
Software
Information Systems
Communications
State Enumeration With Abstract Descriptions of State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying the Accuracy of Interlocking Tables for Railway Signalling Systems Using Abstract State Machines
Journal of Modern Transportation
Electronic Engineering
Computer Science Applications
Electrical
Mechanical Engineering
Transportation
Termination of Abstract Reduction Systems
International Journal of Foundations of Computer Science
Computer Science
Achievable Casimirs and Its Implications on Control of Port-Hamiltonian Systems
International Journal of Control
Control
Systems Engineering
Computer Science Applications
Inverse Systems of Abstract Lebesgue Spaces
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Best Achievable Tracking Performance in Sampled-Data Systems via LTI Controllers
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering