Juan José Sánchez Penas

	2007
5		Lars-Åke Fredlund, Juan José Sánchez Penas: Model Checking a Video-on-Demand Server Using McErlang. EUROCAST 2007: 539-546
	2004
4		Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas: Translating Erlang to µCRL. ACSD 2004: 135-144
	2003
3		Juan José Sánchez Penas, Thomas Arts: VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. ACSD 2003: 247-248
2		Juan José Sánchez Penas, Carlos Abalde Ramiro: Extending the VoDKA architecture to improve resource modelling. Erlang Workshop 2003: 15-22
	2002
1		Thomas Arts, Juan José Sánchez Penas: Global scheduler properties derived from local restrictions. Erlang Workshop 2002: 49-57

Coauthor Index

1	Thomas Arts	[1] [3] [4]
2	Clara Benac Earle	[4]
3	Lars-Åke Fredlund (Lars-åke Fredlund)	[5]
4	Carlos Abalde Ramiro	[2]

Colors in the list of coauthors