๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Model-checking multi-threaded distributed Java programs

โœ Scribed by Scott D. Stoller


Publisher
Springer
Year
2002
Tongue
English
Weight
371 KB
Volume
4
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Framework for testing multi-threaded Jav
โœ Orit Edelstein; Eitan Farchi; Evgeny Goldin; Yarden Nir; Gil Ratsaby; Shmuel Ur ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 162 KB
Verifying Multi-agent Programs by Model
โœ Rafael H. Bordini; Michael Fisher; Willem Visser; Michael Wooldridge ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Springer US ๐ŸŒ English โš– 339 KB