Towards realistic large random models of labeled transition systems and their 0-1 laws | Digital Library | PAMCET | PAMCET