Georges Mariano

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
3EESamuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano: BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. SEFM 2005: 373-382
2004
2EESamuel Colin, Georges Mariano, Vincent Poirriez: Duration Calculus: A Real-Time Semantic for B. ICTAC 2004: 431-446
2003
1EEAmmar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano: BHDL: Circuit Design in B. ACSD 2003: 241-242

Coauthor Index

1Ammar Aljer [1]
2Jean-Louis Boulanger [1]
3Samuel Colin [2] [3]
4Philippe Devienne [1]
5Rafael Marcano [3]
6Dorian Petit [3]
7Vincent Poirriez [2] [3]
8Jérôme Rocheteau [3]
9Sophie Tison [1]

Colors in the list of coauthors

Copyright © Fri Oct 3 18:41:27 2008 by Michael Ley (ley@uni-trier.de)