deutsch
english
Publikationsansicht
22506291
An upper bound for the equational specification of finite state services (2005)
Bergstra, J.A.
,
Bethke, I.
Details der Publikation
Download
http://igitur-archive.library.uu.nl/ph/2007-0601-200212/UUindex.html
Herausgeber
Elsevier
Archiv
DSpace at Utrecht University (Netherlands)
Keywords
Wijsbegeerte, Client–server composition, Data structures, Boundedness properties, Specification languages
Typ
Article / Letter to editor
Sprache
Englisch
Verknüpfungen
0020-0190