Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings
From MaRDI portal
Publication:1374458
DOI10.1007/3-540-63875-XzbMath0878.00079MaRDI QIDQ1374458
No author found.
Publication date: 7 December 1997
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (2)
On testing UML statecharts ⋮ Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
This page was built for publication: Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings
