![]() |
@article{DBLP:journals/njc/BradfieldF02,
author = {Julian C. Bradfield and
Sibylle B. Fr{\"o}schle},
title = {Independence-Friendly Modal Logic and True Concurrency},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
year = {2002},
pages = {102-117},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2005-09-14 by Michael Ley (ley@uni-trier.de)