Amar Bouali
According to our database1,
Amar Bouali
authored at least 12 papers
between 1991 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
1992
1994
1996
1998
2000
2002
2004
2006
2008
0
1
2
3
4
1
1
1
1
1
1
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
Proceedings of the Design, Automation and Test in Europe, 2008
2006
Theory Pract. Log. Program., 2006
2004
Proceedings of the Formal Techniques, 2004
2002
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002
2000
Sci. Comput. Program., 2000
1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1994
JACK: Just Another Concurrency Kit. The intergration Projekt.
Bull. EATCS, 1994
1992
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
1991