|
Search the dblp DataBase
Petros S. Stefaneas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos
A Formal Specification Framework for Ad Hoc Mobile Communication Networks. [Citation Graph (0, 0)][DBLP] SOFSEM (2), 2007, pp:91-102 [Conf]
- Christos J. Georgiou, Petros S. Stefaneas
Strategies for accelerating the worldwide adoption of e-commerce. [Citation Graph (0, 0)][DBLP] Commun. ACM, 2002, v:45, n:4, pp:145-151 [Journal]
Chartering first order logic. [Citation Graph (, )][DBLP]
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. [Citation Graph (, )][DBLP]
Algebraic Specifications for OMA REL Licenses. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|