Publications

Realization of Probabilistic Automata: Categorical Approach

AuthID
P-00R-CH7

Author(s)

Mateus, P

Sernadas, A

Sernadas, C

Editor(s)

Bert,D;Choppy,C;Mosses,P

Document Type

Proceedings Paper

Year published

2000

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 1827, Pages: 237-251

Conference

14Th International Workshop on Algebraic Development Techniques, Wadt 1999, Date: 15 September 1999 through 18 September 1999, Sponsors: CNRS (Centre National de la Recherche Scientifique);et al;IMAG Institute (Informatique et Mathematiques Appliquees de Grenoble);INPG (Institut National Polytechnique de Grenoble);Ministere des Affaires Etrangeres, French Governement;UJF (Universite Joseph Fourier de Grenoble)

Indexing