Sérgio Marcelino

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE Sérgio Marcelino, Pedro Resende: An algebraic generalization of Kripke structures CoRR abs/0704.1886: (2007)

2007
1	EE	Sérgio Marcelino, Pedro Resende: An algebraic generalization of Kripke structures CoRR abs/0704.1886: (2007)

Coauthor Index