Show simple item record

dc.contributor.authorZouari, Belhassen
dc.contributor.authorTaghelit, Mohamed
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.date.accessioned2010-12-17T11:27:57Z
dc.date.available2010-12-17T11:27:57Z
dc.date.issued1993
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5343
dc.descriptionIFIP Transactions A-39en
dc.language.isoenen
dc.subjectPetri netsen
dc.subject.ddc004en
dc.titleA Protocol Specification Language with a High-level Petri Net Semanticsen
dc.typeCommunication / Conférence
dc.identifier.citationpages225-241en
dc.relation.ispartoftitleDecentralized and Distributed Systems, Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993en
dc.relation.ispartofeditorCosnard, Michel
dc.relation.ispartofeditorPuigjaner, Ramon
dc.relation.ispartofpublnameNorth Hollanden
dc.relation.ispartofdate1993
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn0-444-81791-3en
dc.relation.conftitleInternational Conference on Decentralized and Distributed Systems (IFIP WG10.3)en
dc.relation.confdate1993-09
dc.relation.confcityPalma de Mallorcaen
dc.relation.confcountryEspagneen


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record