Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc120113, author = {Christos A. Kapoutsis}, title = {Deterministic Moles Cannot Solve Liveness}, journal = jalc, year = 2007, volume = 12, number = {1/2}, pages = {215--235} }