Inproceedings,

Efficient Learning of Real Time One-Counter Automata.

, and .
ALT, volume 997 of Lecture Notes in Computer Science, page 25-40. Springer, (1995)

Meta data

Tags

Users

  • @dblp

Comments and Reviews