Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc080203, author = {Peter Buchholz and Peter Kemper}, title = {Weak Bisimulation for $(\max/+)$ Automata and Related Models}, journal = jalc, year = 2003, volume = 8, number = 2, pages = {187--218} }