Carlos Serôdio

2007
2		Jorge Santos, Zita A. Vale, Carlos Ramos, Carlos Serôdio: The verification of temporal knowledge based systems - a case-study on power-systems. ICINCO-ICSO 2007: 179-185
1	EE	Nuno Costa, António Pereira, Carlos Serôdio: Virtual Machines Applied to WSN's: The state-of-the-art and classification. ICSNC 2007: 50

Coauthor Index

1	Nuno Costa	[1]
2	António Pereira	[1]
3	Carlos Ramos	[2]
4	Jorge Santos	[2]
5	Zita A. Vale	[2]

Colors in the list of coauthors