DaftarIsitemplate
Call Number
004.33 Jos f
Title
A logical characterisation of event recording automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 240-251
Author
Deepak D'Souza;
Publisher
Springer, 2000
Subject
Location