Publication | Open Access
Improved undecidability results on weighted timed automata
111
Citations
26
References
2006
Year
Logical AutomatonEngineeringAutomated ReasoningVerificationFormal MethodsAutomaton OperationComputer ScienceUndecidability ResultsWeighted AutomatonFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1