JUCS - Journal of Universal Computer Science 7(11): 914-916, doi: 10.3217/jucs-007-11
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue
expand article infoEgon Börger
‡ University of Pisa, Pisa, Italy
Open Access