What’s decidable about parametric timed automata?

Overview of attention for article published in International Journal on Software Tools for Technology Transfer, July 2017

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 3 X posts from 3 X users, with an upper bound of 1,252 followers.

What's decidable about parametric timed automata? https://t.co/BDwyWRZhTm

"What's decidable about parametric timed automata?. (arXiv:1907.01721v1 [cs.LO])" #arXiv https://t.co/b1EzvZDuKE

My survey "What’s decidable about parametric timed automata?" just appeared in STTT. https://t.co/fELtDnPRE9

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.