Sciweavers

Share
26 search results - page 6 / 6
» Modeling Morphologically Rich Languages Using Split Words an...
Sort
View
SCP
2010
155views more  SCP 2010»
11 years 3 months ago
Type inference and strong static type checking for Promela
The SPIN model checker and its speciļ¬cation language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay
books