Search

Collections:

Format:

Publication Type:

  • 49
  • 17
  • 7
  • 5
  • 3
  • 1

Lab:

  • 81

Publication Year:

  • 1
  • 2
  • 4
  • 7
  • 5
  • 6
  • 5
show all

Journal:

  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
show all

Publication Type:

  • 49
  • 17
  • 7
  • 5
  • 3
  • 1

Lab:

  • 81

Publication Year:

  • 1
  • 2
  • 4
  • 7
  • 5
  • 6
  • 5
show all

Journal:

  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
show all
Infoscience 82 records found 1 - 10nextlast  jump to record: Search took 0.08 seconds. 
1.
2.
3.
15th International Conference on Application and Theory of Petri Nets, Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms, June 21 1994 (1994)
1994 | Conference Papers |
4.
Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Canterbury, UK, July 21-23 1997, 57-72 (1997)
1997 | Conference Papers |
5.
Software Engineering for Parallel Systems, Germany, September 20-24 1993, 3 (1993)
1993 | Conference Papers |
6.
DeVa Third Year Report, Deliverables: Part 2 (Papers), 43-86 (1998)
1998 | Conference Papers |
7.
Technical Report of the Esprit Long Term Research Project 20072 ``Design For Validation'' (1997)
1997 | Journal Articles |
8.
Concurrency in Dependable Computing, 61 - 86 (2002)
2002 | Journal Articles |
9.
Ph.D. Workshop at FMOODS (CD-ROM) (2002)
2002 | Conference Papers |
10.
IS-CORE Workshop, Evry, 1995, 73-75 (1995)
1995 | Conference Papers |

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.