Elements of an automata theory over partial orders.
W. Thomas. Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 25-40. DIMACS/AMS, (1996)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/dimacs/Thomas96
%A Thomas, Wolfgang
%B Partial Order Methods in Verification
%D 1996
%E Peled, Doron A.
%E Pratt, Vaughan R.
%E Holzmann, Gerard J.
%I DIMACS/AMS
%K
%P 25-40
%T Elements of an automata theory over partial orders.
%U http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#Thomas96
%V 29
%@ 978-0-8218-0579-4
@inproceedings{conf/dimacs/Thomas96,
added-at = {2023-12-12T18:50:39.000+0100},
author = {Thomas, Wolfgang},
biburl = {https://www.bibsonomy.org/bibtex/2dc4c848a64ac466f674777632d8a4a6c/admin},
booktitle = {Partial Order Methods in Verification},
crossref = {conf/dimacs/dimacs29},
editor = {Peled, Doron A. and Pratt, Vaughan R. and Holzmann, Gerard J.},
ee = {https://doi.org/10.1090/dimacs/029/02},
interhash = {1808c26ed1b11466cd4eefa138556e43},
intrahash = {dc4c848a64ac466f674777632d8a4a6c},
isbn = {978-0-8218-0579-4},
keywords = {},
pages = {25-40},
publisher = {DIMACS/AMS},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
timestamp = {2023-12-12T18:50:39.000+0100},
title = {Elements of an automata theory over partial orders.},
url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#Thomas96},
volume = 29,
year = 1996
}