Location via proxy:
[ UP ]
[Report a bug]
[Manage cookies]
No cookies
No scripts
No ads
No referrer
Show this form
Create a
SciFeed
alert for new publications
With following keywords
bounded model checking
timed automata
digital clocks
metric temporal logic
satisfiability problem
By following authors
Agnieszka M. Zbrzezny
Andrzej Zbrzezny
With settings
Email:
Freq:
Daily
Weekly
Monthly
One email with all search results
One email for each search
Renew
clear